Login / Signup

Automatic verification of temporal-epistemic properties of cryptographic protocols.

Ioana BoureanuMika CohenAlessio Lomuscio
Published in: J. Appl. Non Class. Logics (2009)
Keyphrases
  • cryptographic protocols
  • temporal epistemic
  • epistemic logic
  • model checking
  • database
  • image processing
  • temporal logic
  • security properties
  • information systems
  • access control
  • standard model
  • authentication protocol