The TAMARIN prover for the symbolic analysis of security protocols
The Tamarin prover supports the automated, unbounded, symbolic analysis of security protocols. It features expressive languages for specifying protocols, adversary models, and properties, and support for efficient deduction and equational reasoning. We provide an overview of the tool and its applica...
| Asıl Yazarlar: | , , , |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Conference item |
| Baskı/Yayın Bilgisi: |
Springer
2013
|