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

by J C Mitchell, A Ramanathan, A Scedrov, V Teague
Venue:Theoretical Computer Science