Symbolic verification of distance bounding protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Symbolic verification of distance bounding protocols

(1, 2, 3) , (1, 2, 3)
1
2
3
Fichier principal
Vignette du fichier
main.pdf (441.5 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02018280 , version 1 (15-02-2019)

Identifiants

  • HAL Id : hal-02018280 , version 1

Citer

Alexandre Debant, Stéphanie Delaune. Symbolic verification of distance bounding protocols. Principles of Security and Trust - 8th International Conference, Apr 2019, Prague, Czech Republic. ⟨hal-02018280⟩
73 Consultations
96 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More