Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols

David Basin,Cas Cremers,Jannik Dreier,Ralf Sasse

IEEE Security & Privacy（2022）

引用 6|浏览24

暂无评分

摘要

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.

查看译文

关键词

force results,Tamarin,verification problems,cryptographic protocols,mature state-of-the-art tool,cryptographic protocol verification,larger tour

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要