Skip to Main content Skip to Navigation
Journal articles

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

Nobelis N. Boudaoud K. Delettre C. Michel Riveill 1
1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe RAINBOW
Laboratoire I3S - SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Abstract : 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.
Complete list of metadata
Contributor : Michel Riveill <>
Submitted on : Tuesday, July 5, 2016 - 3:16:44 PM
Last modification on : Monday, October 12, 2020 - 10:30:31 AM




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, IGI Global, 2012, 3 (1), pp.1-16. ⟨10.4018/jdst.2012010101⟩. ⟨hal-01342212⟩



Record views