A Reduction method for Verification of Security Protocol through CPN.

Yanlan Ding Guiping Su

Published in: ICNSC (2008)

Keyphrases

reduction method
security protocols
petri net
artificial immune algorithm
selection algorithm
key management
security services
authentication protocol
formal verification
security mechanisms
genetic algorithm
decision trees
rfid tags