학술논문
Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols
Document Type
Periodical
Author
Source
IEEE Security & Privacy IEEE Secur. Privacy Security & Privacy, IEEE. 20(3):24-32 Jun, 2022
Subject
Language
ISSN
1540-7993
1558-4046
1558-4046
Abstract
Tamarin is a mature, state-of-the-art tool for cryptographic protocol verification. We survey some of the larger tour de force results achieved and show how Tamarin can formalize protocols, adversary models, and properties, and scale to substantial, real world, verification problems.