Analysing Security Protocols.

Dieter Gollmann

Published in: FASec (2002)

Keyphrases

security protocols
automated design
security properties
security services
security mechanisms
key management
artificial immune algorithm
cryptographic algorithms
secure communication
security requirements
authentication protocol
databases
database systems