Security Protocols: Principles and Calculi.

Published in: FOSAD (2007)

Keyphrases

case study
security protocols
automated design
cryptographic algorithms
artificial immune algorithm
security properties
authentication protocol
security services
security mechanisms
key management
secure communication
security requirements
information systems
digital libraries
distributed systems