A Symbolic Framework to Analyse Physical Proximity in Security Protocols

Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02390222
Contributor : Stéphanie Delaune <>
Submitted on : Monday, December 2, 2019 - 9:56:44 PM
Last modification on : Monday, December 9, 2019 - 1:50:00 PM

Identifiers

  • HAL Id : hal-02390222, version 1

Citation

Stéphanie Delaune, Alexandre Debant, Cyrille Wiedling. A Symbolic Framework to Analyse Physical Proximity in Security Protocols. FSTTCS, 2018. ⟨hal-02390222⟩

Share

Metrics

Record views

17