1 Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University2 Computer Laboratory, University of Cambridge3 Department of Computer Science, University of New Hampshire4 Texas A&M University, Department of Educational Curriculum and Instruction
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 illustrate how the Petri-net semantics can be used to prove security properties.
Proceedings of the 15th International Parallel & Distributed Processing Symposium (ipdps-01), 2001