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

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