TY  - CONF

T1  - Synthesising Efficient and Effective Security Protocols

JO  - Electronic Notes in Theoretical Computer Science

PY  - 2005/03/03

AU  - Hao C

AU  - Clark JA

AU  - Jacob JL

ED  - 

DO  - DOI: 10.1016/j.entcs.2004.05.017

PB  - Elsevier BV

VL  - 125

IS  - 1

SP  - 25

EP  - 41

Y2  - 2024/12/22

ER  -