Petri nets in cryptographic protocols

descriptionPublicationkeyboard_double_arrow_right Article , Conference object 29 Aug 2005Publisher:IEEE Comput. SocJournal:Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001

Authors: Crazzolara, Federico; Winskel, Glynn;

doi: 10.1109/ipdps.2001.925135

Petri nets in cryptographic protocols

- Summary
- Metrics

Abstract

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.

Related Organizations

University of Cambridge
United Kingdom

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	6
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%