TAPS: A first-order verifier for cryptographic protocols

DOI10.1007/10722167_46MaRDI QIDQ2754128zbMATH OpenFDO

Authors Ernie Cohen

Publication date 18 December 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10722167_46

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99) Cryptography (94A60)

Cited in

(5)

• TAPS
• Verification of cryptographic protocols: tagging enforces termination
• Pattern-matching spi-calculus
• A symbolic decision procedure for cryptographic protocols with time stamps
• Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols

Describes a project that uses

Uses Software

• OTTER

This page was built for publication: TAPS: A first-order verifier for cryptographic protocols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2754128)