Automatic Verification of Simulatability in Security Protocols.

Tadashi Araragi Olivier Pereira

Published in: IAS (2008)

Keyphrases

security protocols
automated design
cryptographic algorithms
security properties
key management
authentication protocol
security services
artificial immune algorithm
security mechanisms
cryptographic protocols
secure communication
rfid tags
real time
case study