TY  - RPRT
TI  - Formal Analysis of UMTS Privacy
AU  - Myrto Arapinis
AU  - Loretta Ilaria Mancini
AU  - Eike Ritter
AU  - Mark Ryan
PY  - 2011
UR  - https://arxiv.org/abs/1109.2066
ID  - 1109.2066
ER  -