@inproceedings{inproceedings, title = {{Automated design of security protocols}}, publisher = {{IEEE}}, url = {{}}, year = {{2003}}, month = {{1}}, author = {{Han Chen and Clark JA and Jacob JL}}, doi = {{10.1109/cec.2003.1299942}}, journal = {{The 2003 Congress on Evolutionary Computation, 2003. CEC '03.}}, note = {{Accessed on 2024/12/20}}}