TY  - RPRT
TI  - How to prevent type-flaw attacks on security protocols under algebraic properties
AU  - Sreekanth Malladi
AU  - Pascal Lafourcade
PY  - 2010
UR  - https://arxiv.org/abs/1003.5385
ID  - 1003.5385
ER  -