Symbolic verification of distance bounding protocols - SYSTÈMES LARGE ÉCHELLE Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Symbolic verification of distance bounding protocols

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⟩
95 Consultations
111 Téléchargements

Partager

Gmail Facebook X LinkedIn More