TY  - RPRT
TI  - A Proof Theoretic Analysis of Intruder Theories
AU  - Alwen F Tiu
AU  - Rajeev Gore
AU  - Jeremy Dawson
PY  - 2010
DO  - 10.2168/lmcs-6(3:12)2010
UR  - https://arxiv.org/abs/1005.4508
ID  - 1005.4508
ER  -