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