TY  - JOUR

T1  - Automated Design of Security Protocols

JO  - Computational Intelligence

UR  - https://doi.org/10.1111/j.0824-7935.2004.00249.x

PY  - 2004/07/27

AU  - Hao C

AU  - Clark JA

AU  - Jacob JL

ED  - 

DO  - DOI: 10.1111/j.0824-7935.2004.00249.x

PB  - Wiley

VL  - 20

IS  - 3

SP  - 503

EP  - 516

Y2  - 2025/11/04

ER  -