Collaborative Research: SaTC: CORE: Medium: Safeguarding Next-Generation Emergency Services (NG-9-1-1) over Cellular Networks: From Design to Practice

协作研究：SaTC：核心：中：通过蜂窝网络保障下一代紧急服务 (NG-9-1-1)：从设计到实践

• 批准号: 2246050
• 负责人: GUAN-HUA TU
• 金额: $ 87万
• 依托单位: Michigan State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-07-01 至 2026-06-30
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2246050&HistoricalAwards=false
• 关键词: Collaborative; Research; SaTC; CORE; Medium

The next-generation 9-1-1 (NG-9-1-1) services are IP-based systems that supports all types of emergency communications, e.g., voice, video, and text. The globally deployed 5G/4G cellular networks with ubiquitous coverage are the most accessible vehicles for emergency services. However, the security of IP-based cellular emergency services is still largely unexplored. Since 911 services are critical to our society, it is extremely important to eliminate potential vulnerabilities and ensure their security. This project aims to safeguard NG-9-1-1 services over cellular networks from their designs to operations. The project's novelties are to systematically uncover insecure design defects, operational slips, and implementation flaws of cellular emergency services while ensuring sustainable security through a multi-disciplinary approach. The project's broader significance and importance are to extend the state-of-the-art emergency service security research to a new frontier by exploring novel methods that can help perform innovative emergency service modeling, vulnerability analysis, data collection/mining, and testing automation solutions. The project also aims to contribute to nation's future workforce by training students in critical areas such as network security, wireless and mobile systems, and machine learning.This project comprises three research thrusts: (1) to develop new techniques for discovering design flaws of cellular emergency services. This thrust will build a novel multi-level emergency service verifier that adopts and applies model-checking techniques to formally examine diversified cellular emergency service specifications, requirements, and regulations efficiently; (2) to create new techniques that can analyze and identify both implementation issues and potential operational slips of emergency services. A software-defined-radio NG-9-1-1 service platform will be developed. A comprehensive testing dataset will be built to cover both abnormal and normal use scenarios; and (3) to build an NG-9-1-1 service testing platform that allows automatic checking and follow-on re-examination of discovered vulnerabilities to ensure sustainable security.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

下一代9-1-1（NG-9-1-1）服务是基于IP的系统，该系统支持所有类型的紧急通信，例如语音，视频和文本。全球部署的5G/4G蜂窝网络具有无处不在的覆盖范围是最容易获得的紧急服务车辆。但是，基于IP的蜂窝紧急服务的安全性仍未得到探索。由于911服务对我们的社会至关重要，因此消除潜在脆弱性并确保其安全非常重要。 该项目旨在保护NG-9-1-1从设计到操作的蜂窝网络上的服务。该项目的新颖性是系统地揭示蜂窝紧急服务的不安全设计缺陷，操作单和实施缺陷，同时通过多学科的方法确保可持续安全。该项目通过探索可以帮助执行创新的紧急服务建模，脆弱性分析，数据收集/采矿和测试自动化解决方案的新方法，将最新的紧急服务安全研究扩展到新的领域的最大意义和重要性。 。该项目还旨在通过培训网络安全，无线和移动系统以及机器学习的关键领域的学生来为国家的未来劳动力做出贡献。该项目包括三个研究作用：（1）开发新技术，以发现细胞的设计缺陷紧急服务。该推力将建立一种新型的多级紧急服务验证器，该验证者采用并应用模型检查技术来正式检查多元化的蜂窝紧急服务规范，要求和法规； （2）创建可以分析和确定紧急服务的实施问题和潜在的操作单的新技术。将开发软件定义的Radio NG-9-1-1服务平台。 将构建一个全面的测试数据集，以涵盖异常和正常使用方案； （3）建立一个NG-9-1-1服务测试平台，该平台允许自动检查和跟进发现的漏洞以确保可持续安全性。该奖项反映了NSF的法定任务，并被认为值得通过使用基金会的智力优点和更广泛的影响评估标准进行评估。

项目成果

Dissecting Operational Cellular IoT Service Security: Attacks and Defenses

• DOI: 10.1109/tnet.2023.3313557
• 发表时间: 2024-04
• 期刊: IEEE/ACM Transactions on Networking
• 作者: Sihan Wang;Tian Xie;Min-Yue Chen;Guan-Hua Tu;Chi-Yu Li;Xinyu Lei;Polun Chou;Fu-Cheng Hsieh;Yiwen Hu;Li Xiao;Chunyi Peng