Petri nets in cryptographic protocols
Federico Crazzolara, Glynn Winskel · 2005
A process language for security protocols is presented together with a semantics in terms of sets of events. The denotation of process is a set of events, and as each event specifies a set of pre and postconditions, this denotation can be viewed as a Petri net. By means of an example we il-lustrate how the Petri-net semantics can be used to prove security properties. 1.