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) 创建能够分析和识别应急服务的实施问题和潜在操作失误的新技术。将开发软件定义无线电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