Login / Signup

Fast automatic synthesis of security protocols using backward search.

Hongbin ZhouSimon 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