Deciding knowledge properties of security protocols.

Ramaswamy Ramanujam S. P. Suresh

Published in: TARK (2005)

Keyphrases

security protocols
knowledge base
knowledge management
security properties
automated design
artificial intelligence
software engineering
intrusion detection
artificial immune algorithm