TY  - RPRT
TI  - Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version)
AU  - Michele Peroli
AU  - Luca Viganò
AU  - Matteo Zavatteri
PY  - 2014
UR  - https://arxiv.org/abs/1405.6912
ID  - 1405.6912
ER  -