Formal correctness of security protocols by Giampaolo Bella, Springer-Verlag.
Yannis C. StamatiouPublished in: SIGACT News (2010)
Keyphrases
- security protocols
- springer verlag
- automated design
- security properties
- security services
- artificial immune algorithm
- cryptographic algorithms
- computer society
- security mechanisms
- secure communication
- cryptographic protocols
- key management
- formal model
- authentication protocol
- formal methods
- information systems
- san diego
- security requirements
- computer networks