Stateful Security Protocol Verification.

Li Li Jun Pang Yang Liu Jun Sun Jin Song Dong

Published in: CoRR (2014)

Keyphrases

security protocols
cryptographic protocols
automated design
cryptographic algorithms
artificial immune algorithm
security services
security mechanisms
authentication protocol
model checking
rfid tags
key management
access control
security issues
security requirements
rfid systems