Symbolically Analyzing Security Protocols using Tamarin

Document type :
Journal articles
Liste complète des métadonnées

Cited literature [43 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01622110
Contributor : Jannik Dreier <>
Submitted on : Tuesday, October 24, 2017 - 9:54:13 AM
Last modification on : Wednesday, April 3, 2019 - 1:23:07 AM
Document(s) archivé(s) le : Thursday, January 25, 2018 - 12:41:39 PM

File

tamarin-tool.pdf
Files produced by the author(s)

Identifiers

Citation

David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse. Symbolically Analyzing Security Protocols using Tamarin. ACM SIGLOG News, ACM, 2017, ⟨10.1145/3157831.3157835⟩. ⟨hal-01622110⟩

Share

Metrics

Record views

161

Files downloads

409