TY  - RPRT
TI  - Heuristic Methods for Security Protocols
AU  - Qurat ul Ain Nizamani
AU  - Emilio Tuosto
PY  - 2009
DO  - 10.4204/eptcs.7.5
UR  - https://arxiv.org/abs/0910.4053
ID  - 0910.4053
ER  -