Login / Signup

A Symbolic Logic with Exact Bounds for Cryptographic Protocols.

John C. Mitchell
Published in: WoLLIC (2011)
Keyphrases
  • cryptographic protocols
  • modal logic
  • standard model
  • upper bound
  • security properties
  • security protocols
  • lower bound
  • encryption decryption
  • low cost
  • authentication protocol
  • binary decision diagrams