Login / Signup

Minimal backups of cryptographic protocol runs.

Jay A. McCarthyShriram Krishnamurthi
Published in: FMSE (2008)
Keyphrases
  • cryptographic protocols
  • standard model
  • authentication protocol
  • security protocols
  • data sources
  • compression algorithm