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

by John C. Mitchell , Ajith Ramanathan , Andre Scedrov , Vanessa Teague
Venue:Electronic Notes in Theoretical Computer Science
Citations:44 - 8 self