Discovering emergency call pitfalls for cellular networks with formal methods
Discovering emergency call pitfalls for cellular networks with formal methods
复制标题
使用形式化方法发现蜂窝网络的紧急呼叫陷阱
DOI：
10.1145/3458864.3466625
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Zhou, Hai
中科院分区：
文献类型：
--
作者：
Hou, Kaiyu;Li, You;Yu, Yinbo;Chen, Yan;Zhou, Hai
蜂窝紧急呼叫系统的可用性和安全性问题可能会给人们带来生命危险，但这一课题的研究还不够深入。基于我们提出的种子辅助规范方法，我们通过仔细研究中国的一个紧急呼叫失败案例来开始研究这个主题。利用我们从案例中学到的先验知识，我们建立了一个具有适当粒度的紧急呼叫系统的正式模型。通过运行模型检查，发现了四种无法正确路由紧急呼叫的公众不知情场景。此外，我们提取了美国两家主要航空公司的配置，并将其作为模型约束纳入模型。基于增强模型，我们发现了两种利用紧急呼叫特权的新攻击。最后，我们提出了一个具有边际开销的解决方案来解决我们可以预见的问题。
Availability and security problems in cellular emergency call systems can cost people their lives, yet this topic has not been thoroughly researched. Based on our proposedSeed-Assisted Specificationmethod, we start to investigate this topic by looking closely into one emergency call failure case in China. Using what we learned from the case as prior knowledge, we build a formal model of emergency call systems with proper granularity. By running model checking, four public-unaware scenarios where emergency calls cannot be correctly routed are discovered. Additionally, we extract configurations of two major U.S. carriers and incorporate them as model constraints into the model. Based on the augmented model, we find two new attacks leveraging the privileges of emergency calls. Finally, we present a solution with marginal overhead to resolve issues we can foresee.
登录
查看更多内容
检测移动网络中有问题的控制平面协议交互
DOI：
10.1109/tnet.2015.2404336
发表时间：
2016
期刊：
IEEE/ACM Transactions on Networking
影响因子：
--
作者：
Guan;Yuanjie Li;Chunyi Peng;Chi;Songwu Lu
通讯作者：
Songwu Lu
国家
DOI：
--
发表时间：
2006
期刊：
影响因子：
--
作者：
Usha Kishore
通讯作者：
Usha Kishore
DOI：
10.3929/ethz-b-000009792
发表时间：
2008
期刊：
--
影响因子：
--
作者：
E. Brunner;M. Suter
通讯作者：
E. Brunner;M. Suter
紧急呼叫标记和映射的安全威胁和要求
DOI：
--
发表时间：
2008
期刊：
Request for Comments
影响因子：
--
作者：
T. Taylor;H. Tschofenig;H. Schulzrinne;M. Shanmugam
通讯作者：
M. Shanmugam
美国联邦通信委员会
DOI：
--
发表时间：
2020
期刊：
The SAGE International Encyclopedia of Mass Media and Society
影响因子：
--
作者：
L. Jaeglé;D. Jaffe;H. Price;P. Weiss;P. Palmer;M. J. Evans;D. Jacob;I. Bey
通讯作者：
I. Bey