Petri nets in cryptographic protocols.

Federico Crazzolara Glynn Winskel

Published in: IPDPS (2001)

Keyphrases

petri net
cryptographic protocols
petri net model
discrete event systems
security protocols
colored petri nets
authentication protocol
standard model
fuzzy petri net
state machines
concurrent systems
ims ld
stochastic petri net
programmable logic controller
fuzzy logic