TY  - RPRT
TI  - Dynamic Tags for Security Protocols
AU  - Myrto Arapinis
AU  - Stéphanie Delaune
AU  - Steve Kremer
PY  - 2014
DO  - 10.2168/lmcs-10(2:11)2014
UR  - https://arxiv.org/abs/1405.2738
ID  - 1405.2738
ER  -