Generic Verification of Security Protocols.

Abdul Sahid Khan Madhavan Mukund S. P. Suresh

Published in: SPIN (2005)

Keyphrases

security protocols
cryptographic protocols
automated design
security properties
cryptographic algorithms
key management
security services
security mechanisms
artificial immune algorithm
authentication protocol
secure communication
model checking
rfid tags
databases
source code
wireless networks