Login / Signup

Prudent Engineering Practice for Cryptographic Protocols.

Martín AbadiRoger M. Needham
Published in: IEEE Trans. Software Eng. (1996)
Keyphrases
  • cryptographic protocols
  • standard model
  • security properties
  • digital libraries
  • privacy preserving
  • software engineering
  • authentication protocol