Analysis of privacy in mobile telephony systems
Analysis of privacy in mobile telephony systems
复制标题
移动电话系统中的隐私分析
DOI：
10.1007/s10207-016-0338-9
复制
发表时间：
2016
影响因子：
3.2
通讯作者：
Arapinis M
中科院分区：
文献类型：
--
作者：
Arapinis M
我们提出了一个彻底的实验和正式的分析用户的隐私在移动的电话系统。特别是，我们通过实验分析了使用的缩略语，并指出薄弱的部署政策，导致一些关键的情况下，这使得有可能违反用户的隐私。我们还暴露了一些协议的漏洞，导致违反匿名性和/或用户不可链接性。我们将这些违规行为转化为实际的攻击，这是可行的实施真实的网络，并讨论我们的原型实现。为了应对这些攻击，我们提出了现实的解决方案。最后，我们提供了理论框架的自动验证的不可链接性和匿名性的固定的2G/3G程序和自动验证他们使用theProVeriftool。
We present a thorough experimental and formal analysis of users’ privacy in mobile telephony systems. In particular, we experimentally analyse the use of pseudonyms and point out weak deployed policies leading to some critical scenarios which make it possible to violate a user’s privacy. We also expose some protocol’s vulnerabilities resulting in breaches of the anonymity and/or user unlinkability. We show these breaches translate in actual attacks which are feasible to implement on real networks and discuss our prototype implementation. In order to countermeasure these attacks, we propose realistic solutions. Finally, we provide the theoretical framework for the automatic verification of the unlinkability and anonymity of the fixed 2G/3G procedures and automatically verify them using theProVeriftool.
登录
查看更多内容
从另一个角度审视 3G 移动电话中的隐私威胁
DOI：
--
发表时间：
2014
期刊：
Australasian Conference on Information Security and Privacy
影响因子：
--
作者：
Mohammed Shafiul Alam Khan;C. Mitchell
通讯作者：
C. Mitchell
支持云计算的隐私：ConfiChair，案例研究
DOI：
10.1007/978-3-642-28641-4_6
发表时间：
2012
期刊：
8th International Conference for Internet Technology and Secured Transactions (ICITST-2013)
影响因子：
--
作者：
Myrto Arapinis;Sergiu Bursuc;M. Ryan
通讯作者：
M. Ryan
DOI：
--
发表时间：
1999
期刊：
--
影响因子：
--
作者：
A. N.A.DurginP.D.LincolnJ.C.Mitchell;ScedrovComputer
通讯作者：
A. N.A.DurginP.D.LincolnJ.C.Mitchell;ScedrovComputer
决定框架相似性
影响因子：
--
作者：
Hans Hüttel
通讯作者：
Hans Hüttel
普适计算环境中的隐私——术语自相矛盾吗？
影响因子：
2.2
作者：
J. Cas
通讯作者：
J. Cas