TY  - RPRT
TI  - An Algebraic Characterization of Security of Cryptographic Protocols
AU  - Manas K Patra
AU  - Yan Zhang
PY  - 2008
UR  - https://arxiv.org/abs/0802.3328
ID  - 0802.3328
ER  -