Static validation of security protocols.

Chiara Bodei Mikael Buchholtz Pierpaolo Degano Flemming Nielson Hanne Riis Nielson

Published in: J. Comput. Secur. (2005)

Keyphrases

security protocols
automated design
cryptographic algorithms
security properties
security services
artificial immune algorithm
security mechanisms
authentication protocol
secure communication
key management
databases
digital libraries
rfid tags