A Component-Based Approach to Security Protocol Design.

Nicolas Nobelis Karima Boudaoud Christian Delettre Michel Riveill

Published in: AINA Workshops (2011)

Keyphrases

security protocols
design process
automated design
search engine
digital libraries
peer to peer