@inproceedings{inproceedings, title  = {{Automated design of security protocols}},

 publisher = {{IEEE}},

 url = {{https://doi.org/10.1109/cec.2003.1299942 }},

 year = {{2003}},

 month = {{1}},

 author = {{Han Chen and Clark JA and Jacob JL}},

 doi = {{10.1109/cec.2003.1299942}},

 volume = {{3}},

 journal = {{The 2003 Congress on Evolutionary Computation, 2003. CEC '03.}},

 pages = {{2181-2188}},

 note = {{Accessed on 2025/11/04}}}