Login / Signup

Casper: A Compiler for the Analysis of Security Protocols.

Gavin Lowe
Published in: CSFW (1997)
Keyphrases
  • security protocols
  • data analysis
  • data mining
  • anomaly detection