Verifying Parameterized Timed Security Protocols.

Li Li Jun Sun Yang Liu Jin Song Dong

Published in: FM (2015)

Keyphrases

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