Login / Signup

Automatic Verification of Time Sensitive Cryptographic Protocols.

Giorgio DelzannoPierre Ganty
Published in: TACAS (2004)
Keyphrases
  • cryptographic protocols
  • standard model
  • security properties
  • security protocols
  • authentication protocol
  • database
  • wireless sensor networks