Symbolically Analyzing Security Protocols using Tamarin

David Basin 1 Cas Cremers 2 Jannik Dreier 3 Ralf Sasse 1
1 D-INFK - Department of Computer Science [ETH Zürich]
2 University of Oxford [Oxford]
3 PESTO - Proof techniques for security protocols
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Article dans une revue
ACM SIGLOG News, ACM, 2017, 〈10.1145/3157831.3157835〉
Liste complète des métadonnées

Littérature citée [43 références]  Voir  Masquer  Télécharger
https://hal.archives-ouvertes.fr/hal-01622110
Contributeur : Jannik Dreier <>
Soumis le : mardi 24 octobre 2017 - 09:54:13
Dernière modification le : samedi 20 octobre 2018 - 15:06:01
Document(s) archivé(s) le : jeudi 25 janvier 2018 - 12:41:39

Fichier

tamarin-tool.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA | LORIA | LORIA-FM | UNIV-LORRAINE | INRIA2017

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

136

Téléchargements de fichiers

322

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD