N. Nobelis, Karima Boudaoud, Christian Delettre, Michel Riveill. A Component-Based Approach to Security Protocol Design. In 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2011, Biopolis, Singapore, March 22-25, 2011. pages 279-284, IEEE Computer Society, 2011. [doi]
Abstract is missing.