HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols.

Liana Bozga Yassine Lakhnech Michaël Périn

Published in: CAV (2003)

Keyphrases

security protocols
security properties
key management
cryptographic protocols
automated design
key distribution
security services
security requirements
security analysis
artificial immune algorithm
wireless sensor networks
authentication protocol
high security
model checking
cryptographic algorithms