Login / Signup

A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract).

Liana BozgaCristian EneYassine Lakhnech
Published in: CONCUR (2004)
Keyphrases
  • extended abstract
  • cryptographic protocols
  • decision making
  • standard model
  • authentication protocol
  • database
  • decision makers
  • security properties
  • real time
  • low cost
  • quadtree
  • symbolic representation
  • security protocols