Automated design of security protocols

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]

Authors

Hao Chen 0032

This author has not been identified. Look up 'Hao Chen 0032' in Google

John A. Clark

This author has not been identified. Look up 'John A. Clark' in Google

Jeremy L. Jacob

This author has not been identified. Look up 'Jeremy L. Jacob' in Google