Symbolic verification of distance bounding protocols - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

Symbolic verification of distance bounding protocols

Fichier principal
Vignette du fichier
main.pdf (441.5 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-02018280 , version 1

Cite

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⟩
90 View
102 Download

Share

Gmail Facebook Twitter LinkedIn More