For the most recent entries see the Petri Nets Newsletter.

A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets.

Bouroulet, Roland; Klaudel, Hanna; Pelz, Elisabeth

In: Proceedings of Fourth International Conference on Application of Concurrency to System Design (ACSD'04), June 16 - 18, 2004, Hamilton, Ontario, Canada, pages 99-110. June 2004.

Abstract: This paper aims at introducing a Petri net semantics of security protocols allowing to study their properties formally. This is obtained by means of an economic but expressive class of composable high-level Petri nets, called S-nets, inspired from works about the relationship between Petri nets and process algebras. S-nets are applied then to give a compositional high-level Petri net semantics to SPL. The Needham-Schröder protocol is employed to illustrate how this semantics can be used in order to establish the violation of the authentication property.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography