Applied pi calculus

Ryan, Mark D.; Smyth, Ben

doi:10.3233/978-1-60750-714-7-112

The applied pi calculus is a language for modelling security protocols. In this book chapter we present the applied pi calculus in a tutorial style.

Mark D. Ryan & Ben Smyth (2011) Applied pi calculus. Chapter 6 in Véronique Cortier & Steve Kremer (editors) Formal Models and Techniques for Analyzing Security Protocols, IOS Press.

Abstract

The applied pi calculus is a language for modelling security protocols. It is an extension of the pi calculus, a language for studying concurrency and process interaction. This chapter presents the applied pi calculus in a tutorial style. It describes reachability, correspondence, and observational equivalence properties, with examples showing how to model secrecy, authentication, and privacy aspects of protocols.

$ curl -s https://publications.bensmyth.com/files/Smyth11-Applied-pi-calculus.bib | cat

@incollection{Smyth11-Applied-pi-calculus,
  title = {{Applied pi calculus}},
  year = {2011}, author = {Mark D. Ryan and Ben Smyth}, doi = {10.3233/978-1-60750-714-7-112},
  url = {./},
  url-pdf = {./files/applied-pi-calculus.pdf},
  url-bib = {./files/Applied-pi-calculus.bib},
  url-yaml = {./files/Applied-pi-calculus.yml},
  url-md = {./files/applied-pi-calculus.md}
}