Formal Analysis of Secure Device Pairing Protocols - Télécom Paris Access content directly
Conference Papers Year : 2014
No file

Dates and versions

hal-02287084 , version 1 (13-09-2019)

Identifiers

  • HAL Id : hal-02287084 , version 1

Cite

Trung Nguyen, Jean Leneutre. Formal Analysis of Secure Device Pairing Protocols. IEEE 13th International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, Massachusetts, United States. ⟨hal-02287084⟩
31 View
0 Download

Share

Gmail Facebook X LinkedIn More