TY - JOUR T1 - Automated Design of Security Protocols JO - Computational Intelligence PY - 2004/08/01 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 - 2024/12/22 ER -