Formal Analysis of Secure Device Pairing Protocols - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

Formal Analysis of Secure Device Pairing Protocols

, (1, 2)
1
2
Not 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⟩
26 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More