Login / Signup

Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols.

Gergei BanaKoji HasebeMitsuhiro Okada
Published in: Formal to Practical Security (2009)
Keyphrases
  • cryptographic protocols
  • real time
  • information systems
  • data analysis
  • conditional logic