Login / Signup

Symbolic Trace Analysis of Cryptographic Protocols.

Michele Boreale
Published in: ICALP (2001)
Keyphrases
  • cryptographic protocols
  • data analysis
  • knn
  • response time
  • operating system
  • model checking