A probabilistic polynomial-time process calculus for the analysis of cryptographic protocol (2006)

by John C Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague
Venue:Theoretical Computer Science