Symbolically Analyzing Security Protocols using Tamarin

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

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〉

Partager

Métriques

Consultations de la notice

136

Téléchargements de fichiers

322