A Component-Based Approach to Security Protocol Design.

Nicolas Nobelis, Karima Boudaoud, Christian Delettre, Michel Riveill

Browse the full AINA paper archive.