Symbolically Analyzing Security Protocols using Tamarin - Archive ouverte HAL Access content directly
Journal Articles ACM SIGLOG News Year : 2017

Symbolically Analyzing Security Protocols using Tamarin

Fichier principal
Vignette du fichier
tamarin-tool.pdf (3.91 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01622110 , version 1 (24-10-2017)

Identifiers

Cite

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

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More