@article{article, title = {{Automated Design of Security Protocols}}, publisher = {{Wiley}}, url = {{}}, year = {{2004}}, month = {{8}}, 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 2024/12/20}}}