TY  - JOUR

T1  - Protocols are programs too: the meta-heuristic search for security protocols

JO  - Information and Software Technology

PY  - 2001/12/15

AU  - Clark JA

AU  - Jacob JL

ED  - 

DO  - DOI: 10.1016/s0950-5849(01)00195-1

PB  - Elsevier BV

VL  - 43

IS  - 14

SP  - 891

EP  - 904

Y2  - 2024/12/22

ER  -