Login / Signup
Fast automatic synthesis of security protocols using backward search.
Hongbin Zhou
Simon N. Foley
Published in:
FMSE (2003)
Keyphrases
</>
security protocols
search space
search algorithm
automated design
forward search
artificial immune algorithm
information systems
heuristic search
key management
authentication protocol