TY  - BOOK

T1  - A search-based approach to the automated design of security protocols

PY  - 2004/01/01

AU  - Hao C

AU  - Clark JA

AU  - Jacob JL

ED  - 

VL  - York Computer Science Technical Report

Y2  - 2024/12/22

ER  -