Hao Chen 0032, John A. Clark, Jeremy L. Jacob. Automated design of security protocols. In Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2003, 8 - 12 December 2003, Canberra, Australia. pages 2181-2188, IEEE, 2003. [doi]
Abstract is missing.