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]
@inproceedings{0032CJ03,
title = {Automated design of security protocols},
author = {Hao Chen 0032 and John A. Clark and Jeremy L. Jacob},
year = {2003},
doi = {10.1109/CEC.2003.1299942},
url = {https://doi.org/10.1109/CEC.2003.1299942},
researchr = {https://researchr.org/publication/0032CJ03},
cites = {0},
citedby = {0},
pages = {2181-2188},
booktitle = {Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2003, 8 - 12 December 2003, Canberra, Australia},
publisher = {IEEE},
}