Symbolic Verification of Distance Bounding Protocols

Alexandre Debant 1 Stéphanie Delaune 1
1 EMSEC - EMbedded SEcurity and Cryptography
IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02390220
Contributor : Stéphanie Delaune <>
Submitted on : Monday, December 2, 2019 - 9:53:18 PM
Last modification on : Monday, December 9, 2019 - 1:46:08 PM

Links full text

Identifiers

Citation

Alexandre Debant, Stéphanie Delaune. Symbolic Verification of Distance Bounding Protocols. POST, pp.149-174, 2019, ⟨10.1007/978-3-030-17138-4_7⟩. ⟨hal-02390220⟩

Share

Metrics

Record views

15