Login / Signup
Verification of Cryptographic Protocols: Tagging Enforces Termination.
Bruno Blanchet
Andreas Podelski
Published in:
FoSSaCS (2003)
Keyphrases
</>
cryptographic protocols
standard model
security properties
security protocols
authentication protocol
metadata
encryption decryption
formal verification
data management