Language, Semantics and Methods for Cryptographic Protocols (2000)
| Citations: | 1 - 1 self |
BibTeX
@MISC{Crazzolara00language,semantics,
author = {Federico Crazzolara and Glynn Winskel},
title = {Language, Semantics and Methods for Cryptographic Protocols},
year = {2000}
}
OpenURL
Abstract
In this report we present a process language for security protocols together with an operational semantics and an alternative 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. This Petri-net semantics has a strong relation to both Paulson's inductive set of rules and the strand space approach. By means of an example we illustrate how the Petri-net semantics can be used to prove properties such as secrecy and authentication.







