Login / Signup

Verification of Cryptographic Protocols: Tagging Enforces Termination.

Bruno BlanchetAndreas Podelski
Published in: FoSSaCS (2003)
Keyphrases
  • cryptographic protocols
  • standard model
  • security properties
  • security protocols
  • authentication protocol
  • metadata
  • encryption decryption
  • formal verification
  • data management