Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis (2006)

Cached

Download Links

by John C. Mitchell , Ajith Ramanathan , Andre Scedrov , Vanessa Teague
Venue:Theoretical Computer Science
Citations:36 - 3 self