@article{article, title  = {{Automated Design of Security Protocols}},

 publisher = {{Wiley}},

 url = {{https://doi.org/10.1111/j.0824-7935.2004.00249.x }},

 year = {{2004}},

 month = {{7}},

 author = {{Hao C and Clark JA and Jacob JL}},

 doi = {{10.1111/j.0824-7935.2004.00249.x}},

 volume = {{20}},

 journal = {{Computational Intelligence}},

 issue = {{3}},

 pages = {{503-516}},

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