Symbolically Analyzing Security Protocols using Tamarin
Domaines
Cryptographie et sécurité [cs.CR]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...
Article Dans Une Revue
ACM SIGLOG News
Année : 2017
Jannik Dreier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01622110
Soumis le : mardi 24 octobre 2017-09:54:13
Dernière modification le : lundi 11 septembre 2023-17:41:19
Archivage à long terme le : jeudi 25 janvier 2018-12:41:39
Citer
David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse. Symbolically Analyzing Security Protocols using Tamarin. ACM SIGLOG News, 2017, ⟨10.1145/3157831.3157835⟩. ⟨hal-01622110⟩
342
Consultations
860
Téléchargements