Actor Network Procedures as Psi-calculi for Security Ceremonies

Cristian Prisacariu
(University of Oslo)

The actor network procedures of Pavlovic and Meadows are a recent graphical formalism developed for describing security ceremonies and for reasoning about their security properties. The present work studies the relations of the actor network procedures (ANP) to the recent psi-calculi framework. Psi-calculi is a parametric formalism where calculi like spi- or applied-pi are found as instances. Psi-calculi are operational and largely non-graphical, but have strong foundation based on the theory of nominal sets and process algebras. One purpose of the present work is to give a semantics to ANP through psi-calculi. Another aim was to give a graphical language for a psi-calculus instance for security ceremonies. At the same time, this work provides more insight into the details of the ANPs formalization and the graphical representation.

In Barbara Kordy, Sjouke Mauw and Wolter Pieters: Proceedings First International Workshop on Graphical Models for Security (GraMSec 2014), Grenoble, France, April 12, 2014, Electronic Proceedings in Theoretical Computer Science 148, pp. 63–77.
Published: 6th April 2014.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: