Safe Simplifying Transformations for Security Protocols.

Mei Lin Hui Gavin Lowe

Published in: CSFW (1999)

Keyphrases

security protocols
automated design
security properties
key management
security services
cryptographic algorithms
secure communication
artificial immune algorithm
security mechanisms
authentication protocol
information systems
low cost
lightweight
operating system
cryptographic protocols