Login / Signup

CVS: A Compiler for the Analysis of Cryptographic Protocols.

Antonio DuranteRiccardo FocardiRoberto Gorrieri
Published in: CSFW (1999)
Keyphrases
  • cryptographic protocols
  • response time
  • programming language
  • anomaly detection
  • end to end