A Component-Based Approach to Security Protocol Design. - Nicolas Nobelis; Karima Boudaoud; Christian Delettre; Michel Riveill (AINA Workshops, 2011)

Designing Security Properties-Centric Communication Protocols using a Component-Based Approach. - Nicolas Nobelis; Karima Boudaoud; Christian Delettre; Michel Riveill (Int. J. Distributed Syst. Technol., 2012)