Actor Network Procedures as Psi-calculi for Security Ceremonies

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.Comment: In Proceedings GraMSec 2014, arXiv:1404.163

Salve Regina University Undergraduate Catalog 2011-2013

The Undergraduate Catalog describes the institution, admission procedures, programs, academic disciplines and requirements for undergraduate students. The catalog includes lists of faculty and administrators, descriptions of campus, course listings, and the academic calendar.https://digitalcommons.salve.edu/catalogs/1023/thumbnail.jp

1997-1999, University of Memphis bulletin

University of Memphis bulletin containing the undergraduate catalog for 1997-1999.https://digitalcommons.memphis.edu/speccoll-ua-pub-bulletins/1444/thumbnail.jp

1996-1997, University of Memphis bulletin

University of Memphis bulletin containing the undergraduate catalog for 1996-1997.https://digitalcommons.memphis.edu/speccoll-ua-pub-bulletins/1443/thumbnail.jp

Salve Regina University Undergraduate Catalog 2009-2011

The Undergraduate Catalog describes the institution, admission procedures, programs, academic disciplines and requirements for undergraduate students. The catalog includes lists of faculty and administrators, descriptions of campus, course listings, and the academic calendar.https://digitalcommons.salve.edu/catalogs/1025/thumbnail.jp

1995-1996, University of Memphis, bulletin

University of Memphis bulletin containing the undergraduate catalog for 1995-1996.https://digitalcommons.memphis.edu/speccoll-ua-pub-bulletins/1442/thumbnail.jp

1995 April, University of Memphis bulletin

Vol. 84, No. 1 of the University of Memphis bulletin containing the undergraduate catalog for 1995-96, 1995 April.https://digitalcommons.memphis.edu/speccoll-ua-pub-bulletins/1180/thumbnail.jp

2004-2005, University of Memphis bulletin

University of Memphis bulletin containing the undergraduate catalog for 2004-2005.https://digitalcommons.memphis.edu/speccoll-ua-pub-bulletins/1445/thumbnail.jp

1977-1978 Bulletin

Volume LXXXVIII, Number 5. Scanned from the copy held in the Registrar\u27s Office.https://ecommons.udayton.edu/bulletin/1041/thumbnail.jp