A Computer Aided Design of a Secure Registration ProtocolModel-based design and verification of security protocols using lotos
