Formal Analysis of Secure Device Pairing Protocols - Télécom Paris
Communication Dans Un Congrès Année : 2014

Formal Analysis of Secure Device Pairing Protocols

Trung Nguyen
  • Fonction : Auteur
Jean Leneutre
Autonomic and Critical Embedded Systems
Département Informatique et Réseaux

Domaines

Cryptographie et sécurité [cs.CR] Théorie et langage formel [cs.FL] Réseaux et télécommunications [cs.NI] Informatique ubiquitaire

TelecomParis HAL  : Connectez-vous pour contacter le contributeur

https://telecom-paris.hal.science/hal-02287084

Soumis le : vendredi 13 septembre 2019-16:34:14

Dernière modification le : mercredi 23 octobre 2024-10:30:04

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-02287084 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

PARISTECH LTCI INFRES ACES INSTITUT-MINES-TELECOM
56 Consultations
0 Téléchargements

Partager

More