Login / Signup

An Approach to the Formal Verification of Cryptographic Protocols.

Dominique Bolignano
Published in: CCS (1996)
Keyphrases
  • formal verification
  • cryptographic protocols
  • model checking
  • security properties
  • bounded model checking
  • symbolic model checking
  • model checker
  • automated verification
  • program slicing
  • private information retrieval