Applied pi calculus (2011)

by Mark D Ryan, Ben Smyth
Venue:Formal Models and Techniques for Analyzing Security Protocols, chapter 6. IOS