Ryan, M. & Smyth, B. (2011) Applied pi calculus. In Cortier, V. & Kremer, S. (eds), Formal Models and Techniques for Analyzing Security Protocols, Chapter 6, IOS Press.
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.