A Rippling-Based Difference Reduction Technique to Automatically Prove Security Protocol Goals.

Juan Carlos López Pimentel Raúl Monroy

Published in: IBERAMIA (2004)

Keyphrases

security protocols
artificial immune algorithm
automated design
security services
real time
information systems
key management
authentication protocol