Login / Signup

A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report).

John C. MitchellAjith RamanathanAndre ScedrovVanessa Teague
Published in: MFPS (2001)
Keyphrases
  • cryptographic protocols
  • database
  • similarity measure
  • special case
  • image compression
  • lightweight