Search
 
loader loading subjects...
cover
Applied pi calculus
Mark D. Ryan, Ben Smyth
112 - 142
10.3233/978-1-60750-714-7-112
Cryptology and Information Security Series
Volume 5: Formal Models and Techniques for Analyzing Security Protocols
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.

$35.00 / €27.50 / £22.00
Add PDF to cart