Designing Security Properties-Centric Communication Protocols using a Component-Based Approach - Archive ouverte HAL
Article Dans Une Revue International Journal of Distributed Systems and Technologies Année : 2012

Designing Security Properties-Centric Communication Protocols using a Component-Based Approach

Nobelis N.
  • Fonction : Auteur
Boudaoud K.
  • Fonction : Auteur
Delettre C.
  • Fonction : Auteur

Résumé

Numerous communication protocols have been designed offering a set of security properties through the use of cryptographic tools to secure electronic document transfer. However, there is no clear match between the tools used and security properties they offer. To solve this problem, the authors propose to use a component-based approach; more specifically the authors introduce the notion of high-level security component where each component provides an atomic security property. This approach will facilitate the design of new protocols that fulfill any specific set of security properties by assembling the appropriate components. At the same time, users using a protocol designed with these security components will have the assurance that the protocol satisfies the security properties required for the electronic document transfer. The authors validate the approach by showing how the integrity property can be added to the HTTP protocol to design a security property-centric HTTPS and in this case an integrity-only HTTPS.
Fichier non déposé

Dates et versions

hal-01342212 , version 1 (05-07-2016)

Identifiants

Citer

Nobelis N., Boudaoud K., Delettre C., Michel Riveill. Designing Security Properties-Centric Communication Protocols using a Component-Based Approach. International Journal of Distributed Systems and Technologies, 2012, 3 (1), pp.1-16. ⟨10.4018/jdst.2012010101⟩. ⟨hal-01342212⟩
81 Consultations
0 Téléchargements

Altmetric

Partager

More