Login / Signup

The Value of Semantics for the Analysis of Cryptographic Protocols.

Paul F. Syverson
Published in: CSFW (1991)
Keyphrases
  • cryptographic protocols
  • database
  • real time
  • software engineering