Login / Signup
Minimal backups of cryptographic protocol runs.
Jay A. McCarthy
Shriram Krishnamurthi
Published in:
FMSE (2008)
Keyphrases
</>
cryptographic protocols
standard model
authentication protocol
security protocols
data sources
compression algorithm