On the semantics of Alice&Bob specifications of security protocols.
Carlos CaleiroLuca ViganòDavid A. BasinPublished in: Theor. Comput. Sci. (2006)
Keyphrases
- security protocols
- automated design
- specification language
- operational semantics
- cryptographic algorithms
- security properties
- security mechanisms
- key management
- authentication protocol
- secure communication
- cryptographic protocols
- formal specification
- security services
- artificial immune algorithm
- security requirements
- ciphertext
- low cost
- information systems