Login / Signup
Formal correctness of security protocols by Giampaolo Bella, Springer-Verlag.
Yannis C. Stamatiou
Published 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