Secure refinements of communication channels - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2015

Secure refinements of communication channels

Résumé

It is a common practice to design a protocol (say Q) assuming some secure channels. Then the secure channels are implemented using any standard protocol, e.g. TLS. In this paper, we study when such a practice is indeed secure. We provide a characterization of both confidential and authenticated channels. As an application, we study several protocols of the literature including TLS and BAC protocols. Thanks to our result, we can consider a larger number of sessions when analyzing complex protocols resulting from explicit implementation of the secure channels of some more abstract protocol Q.
Fichier principal
Vignette du fichier
RR-8790.pdf (595.78 Ko) Télécharger le fichier
cc-by.pdf (58.48 Ko) Télécharger le fichier
lipics-logo-bw.pdf (13.42 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Origine : Fichiers produits par l'(les) auteur(s)
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01215265 , version 1 (13-10-2015)
hal-01215265 , version 2 (27-11-2015)

Identifiants

  • HAL Id : hal-01215265 , version 1

Citer

Vincent Cheval, Véronique Cortier, Eric Le Morvan. Secure refinements of communication channels. [Research Report] 8790, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2015, pp.50. ⟨hal-01215265v1⟩
249 Consultations
100 Téléchargements

Partager

Gmail Facebook X LinkedIn More