A Coloured Petri Net Methodology and Library for Security Analysis of Network Protocols.

San Choosang Steven Gordon

Published in: J. Comput. (2014)

Keyphrases

petri net
security analysis
network protocols
petri net model
smart card
security requirements
public key
service composition
colored petri nets
fuzzy petri net
encryption scheme
wireless mesh networks
real time
data analysis
low cost
access control