Login / Signup

A game-theoretic framework for specification and verification of cryptographic protocols.

Mohamed SalehMourad Debbabi
Published in: Formal Aspects Comput. (2010)
Keyphrases
  • cryptographic protocols
  • formal verification
  • security properties
  • security protocols
  • standard model
  • model checking
  • formal specification
  • real time
  • authentication protocol
  • private information retrieval