Login / Signup
A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report).
John C. Mitchell
Ajith Ramanathan
Andre Scedrov
Vanessa Teague
Published in:
MFPS (2001)
Keyphrases
</>
cryptographic protocols
database
similarity measure
special case
image compression
lightweight