Knowledge Flow Analysis for Security Protocols

Emina Torlak Marten van Dijk Blaise Gassend Daniel Jackson Srinivas Devadas

Published in: CoRR (2006)

Keyphrases

flow analysis
security protocols
information flow
automated design
data mining
knowledge management
artificial immune algorithm
information systems
distributed systems
key management
secure communication