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

by John C Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague