NeTS: Small: Collaborative Research: Identifying Design and Operational Loopholes in Cellular Network Protocols
NetS:小型:协作研究:识别蜂窝网络协议中的设计和操作漏洞
基本信息
- 批准号:1748630
- 负责人:
- 金额:$ 4.41万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2017
- 资助国家:美国
- 起止时间:2017-08-25 至 2018-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
The cellular network is the largest wireless infrastructure deployed today. It plays an important role to provide users mobile Internet access and cellular voice service. A key design component of the cellular network is its signaling protocols, which operate on the control plane. Compared with their Internet counterparts, these signaling protocols are more complex to ensure vital control functions, such as mobility support, radio resource control, session management for data and voice, to name a few. Consequently, their proper design and operation are critical to both the cellular operators and the users. The objective of this project is to devise tools and verify the correctness of signaling protocols in current cellular networks by: (i)identifying design loopholes in the protocols defined by the 3GPP standards, as well as operational slips made by operators and vendors, (ii) analyzing their root causes and performance penalties, and (iii) devising techniques that fix such problems. The proposed activities can enhance the reliability of cellular networks in both design and practice. They will help us to not only better understand how to avoid design and implementation mistakes in a cellular system, but also to renovate the current protocol design and even affect the upcoming 5G cellular technology in its standardization. If successful, the results will facilitate the design and practice of a more reliable mobile Internet infrastructure for our society. The project will also recruit and train a new generation of students and engineers, including those from minority groups, who are technically ready for the mobile Internet era. The PIs will interact closely with the related industry for possible technology transfer. The research in this project has two main thrusts. One is to devise tools and identify design loopholes and operational slips in cellular networks. The project will develop a cellular-specific verifier that adapts generic model-checking techniques with domain-specific cellular knowledge, and uses phone-based empirical validation. The project will apply model checking to identify a superset of potential candidate loopholes, and then validate the real ones through experiments over operational 3G/4G carriers, by focusing on design slips in two categories: (a) protocols interaction with shared certain context (e.g., connection status, commands, IP address, virtual connection), which is popular in cross-layer, cross-domain, and inter-system protocol communications; (b) Out-of-sequenced signaling delivery. When the designated sequence of control messages is disrupted, its cost is way beyond lost or delayed messages. Missequenced signals are reacted based on defined semantics and may trigger wrong protocol operations. This project will also assess the real-world impact of both categories of issues through user studies over operational carriers. The other thrust of this project is to propose fixes to the identified loopholes. The proposed solutions incorporate new heuristics into cellular signaling protocols and call for concerted effort on the mobile device and the network infrastructure.
蜂窝网络是当今部署的最大的无线基础设施。它在为用户提供移动的Internet接入和蜂窝语音服务方面发挥着重要作用。 蜂窝网络的关键设计组件是其信令协议,其在控制平面上操作。与它们的互联网对应物相比,这些信令协议更复杂,以确保重要的控制功能,例如移动性支持、无线电资源控制、数据和语音的会话管理等。因此,它们的正确设计和操作对于蜂窝运营商和用户都是至关重要的。 该项目的目标是设计工具并通过以下方式验证当前蜂窝网络中信令协议的正确性:(i)识别3GPP标准定义的协议中的设计漏洞,以及运营商和供应商的操作失误,(ii)分析其根本原因和性能损失,以及(iii)设计解决此类问题的技术。所提出的活动可以在设计和实践中提高蜂窝网络的可靠性。 它们不仅可以帮助我们更好地了解如何避免蜂窝系统中的设计和实现错误,还可以更新当前的协议设计,甚至影响即将到来的5G蜂窝技术的标准化。如果成功,研究结果将有助于为我们的社会设计和实践更可靠的移动的互联网基础设施。该项目还将招募和培训新一代的学生和工程师,包括来自少数群体的学生和工程师,他们在技术上已经为移动的互联网时代做好了准备。 参与者将与相关行业密切互动,以便进行可能的技术转让。 该项目的研究有两个主要目标。一个是设计工具,识别蜂窝网络中的设计漏洞和操作失误。该项目将开发一个特定于蜂窝的验证器,该验证器将通用模型检查技术与特定于领域的蜂窝知识相结合,并使用基于电话的经验验证。该项目将应用模型检查来识别潜在候选漏洞的超集,然后通过在运营的3G/4G运营商上进行实验来验证真实的漏洞,重点关注两类设计失误:(a)与共享的特定上下文(例如,连接状态、命令、IP地址、虚拟连接),这在跨层、跨域和系统间协议通信中是普遍的;(B)无序信令递送。当指定的控制消息序列被中断时,其成本远远超过丢失或延迟的消息。错误排序的信号基于定义的语义做出反应,并且可能触发错误的协议操作。该项目还将通过对运营运营商的用户研究,评估这两类问题对现实世界的影响。该项目的另一个重点是提出修复已发现的漏洞的建议。所提出的解决方案将新的通信技术结合到蜂窝信令协议中,并要求在移动终端和网络基础设施上进行协调一致的努力。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Chunyi Peng其他文献
Poster: Uncovering Missed 5G Performance in the Sky
海报:揭开天空中错过的 5G 性能
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Jingqi Huang;Yanbing Liu;Chunyi Peng - 通讯作者:
Chunyi Peng
Unveiling the Missed 4.5G Performance In the Wild
揭示野外错过的 4.5G 性能
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Haotian Deng;Kai Ling;Junpeng Guo;Chunyi Peng - 通讯作者:
Chunyi Peng
New Threats to SMS-Assisted Mobile Internet Services from 4G LTE Networks
4G LTE 网络对短信辅助移动互联网服务的新威胁
- DOI:
- 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
Guan;Yuanjie Li;Chunyi Peng;Chi;M. T. Raza;Hsiao;Songwu Lu - 通讯作者:
Songwu Lu
Towards Drone-Sourced Live Video Analytics via Adaptive-yet-Compatible Compression
通过自适应且兼容的压缩实现无人机实时视频分析
- DOI:
10.1145/3446382.3448982 - 发表时间:
2021 - 期刊:
- 影响因子:0
- 作者:
Junpeng Guo;Chunyi Peng - 通讯作者:
Chunyi Peng
One-step in-situ preparation of C/TiOsub2/sub@rGO aerogel derived from Tisub3/subCsub2/subTsubemx/em/sub MXene for integrating microwave absorption, electromagnetic interference shielding and catalytic degradation of antibiotics
一步原位制备源自Ti₃C₂Tₓ MXene的C/TiO₂@rGO气凝胶,用于集微波吸收、电磁干扰屏蔽和抗生素催化降解功能于一体
- DOI:
10.1016/j.carbon.2023.118610 - 发表时间:
2024-01-25 - 期刊:
- 影响因子:11.600
- 作者:
Junfeng Qiu;Chunyi Peng;Rongchen Wang;Chao Yao;Xin Liu;Qiang Wang;Wei Wang - 通讯作者:
Wei Wang
Chunyi Peng的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Chunyi Peng', 18)}}的其他基金
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):从设计到实践
- 批准号:
2246051 - 财政年份:2023
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant
RAPID: Assessing the Impact on Operational Mobile Networks in the Face of COVID-19 Public Health Crisis
RAPID:评估面对 COVID-19 公共卫生危机对运营移动网络的影响
- 批准号:
2027650 - 财政年份:2020
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant
CAREER: Amplifying Intelligence in Mobile Networked Systems
职业:增强移动网络系统的智能
- 批准号:
1750953 - 财政年份:2018
- 资助金额:
$ 4.41万 - 项目类别:
Continuing Grant
NeTS: Small: Collaborative Research: Configuration Management for Mobility Support in Cellular Networks
NeTS:小型:协作研究:蜂窝网络中移动性支持的配置管理
- 批准号:
1749049 - 财政年份:2017
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Secure Data Charging Architecture for Mobile Devices in 3G/4G Cellular Networks: Vulnerabilities and Solutions
TWC:小型:协作:3G/4G 蜂窝网络中移动设备的安全数据充电架构:漏洞和解决方案
- 批准号:
1753500 - 财政年份:2017
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Cellular Network Services in Peril: A Perspective on Control-Plane and Data-Plane Design
TWC:小型:协作:危险中的蜂窝网络服务:控制平面和数据平面设计的视角
- 批准号:
1749045 - 财政年份:2017
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Cellular Network Services in Peril: A Perspective on Control-Plane and Data-Plane Design
TWC:小型:协作:危险中的蜂窝网络服务:控制平面和数据平面设计的视角
- 批准号:
1527613 - 财政年份:2015
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant
NeTS: Small: Collaborative Research: Configuration Management for Mobility Support in Cellular Networks
NeTS:小型:协作研究:蜂窝网络中移动性支持的配置管理
- 批准号:
1526456 - 财政年份:2015
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: Secure Data Charging Architecture for Mobile Devices in 3G/4G Cellular Networks: Vulnerabilities and Solutions
TWC:小型:协作:3G/4G 蜂窝网络中移动设备的安全数据充电架构:漏洞和解决方案
- 批准号:
1421933 - 财政年份:2014
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant
NeTS: Small: Collaborative Research: Identifying Design and Operational Loopholes in Cellular Network Protocols
NetS:小型:协作研究:识别蜂窝网络协议中的设计和操作漏洞
- 批准号:
1421440 - 财政年份:2014
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant
相似国自然基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
- 批准号:n/a
- 批准年份:2022
- 资助金额:10.0 万元
- 项目类别:省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
- 批准号:32000033
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
- 批准号:31972324
- 批准年份:2019
- 资助金额:58.0 万元
- 项目类别:面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
- 批准号:81900988
- 批准年份:2019
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
- 批准号:31802058
- 批准年份:2018
- 资助金额:26.0 万元
- 项目类别:青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
- 批准号:31870821
- 批准年份:2018
- 资助金额:56.0 万元
- 项目类别:面上项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
- 批准号:31772128
- 批准年份:2017
- 资助金额:60.0 万元
- 项目类别:面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
- 批准号:81704176
- 批准年份:2017
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
- 批准号:91640114
- 批准年份:2016
- 资助金额:85.0 万元
- 项目类别:重大研究计划
相似海外基金
Collaborative Research: NeTS: Small: A Privacy-Aware Human-Centered QoE Assessment Framework for Immersive Videos
协作研究:NetS:小型:一种具有隐私意识、以人为本的沉浸式视频 QoE 评估框架
- 批准号:
2343619 - 财政年份:2024
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant
Collaborative Research: NeTS: Small: A Privacy-Aware Human-Centered QoE Assessment Framework for Immersive Videos
协作研究:NetS:小型:一种具有隐私意识、以人为本的沉浸式视频 QoE 评估框架
- 批准号:
2343618 - 财政年份:2024
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant
Collaborative Research: NeTS: Small: Digital Network Twins: Mapping Next Generation Wireless into Digital Reality
合作研究:NeTS:小型:数字网络双胞胎:将下一代无线映射到数字现实
- 批准号:
2312138 - 财政年份:2023
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant
Collaborative Research: NeTS: Small: Digital Network Twins: Mapping Next Generation Wireless into Digital Reality
合作研究:NeTS:小型:数字网络双胞胎:将下一代无线映射到数字现实
- 批准号:
2312139 - 财政年份:2023
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant
Collaborative Research: NeTS: Small: Reliable Task Offloading in Mobile Autonomous Systems Through Semantic MU-MIMO Control
合作研究:NeTS:小型:通过语义 MU-MIMO 控制实现移动自治系统中的可靠任务卸载
- 批准号:
2134973 - 财政年份:2021
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant
NeTS: Small: Collaborative Research: Towards Adaptive and Efficient Wireless Computing Networks
NeTS:小型:协作研究:迈向自适应且高效的无线计算网络
- 批准号:
2152657 - 财政年份:2021
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant
Collaborative Research: NeTS: Small: Reliable Task Offloading in Mobile Autonomous Systems Through Semantic MU-MIMO Control
合作研究:NeTS:小型:通过语义 MU-MIMO 控制实现移动自治系统中的可靠任务卸载
- 批准号:
2134567 - 财政年份:2021
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant
NeTS: Small: Collaborative Research: Cooperative Interference-Embracing Communication in Multi-Hop Wireless Networks
NeTS:小型:协作研究:多跳无线网络中的协作抗干扰通信
- 批准号:
2113618 - 财政年份:2020
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant
NeTS: Small: Collaborative Research: Caching and Coding for Media Delivery in Next Generation Wireless Networks
NeTS:小型:协作研究:下一代无线网络中媒体传输的缓存和编码
- 批准号:
2031047 - 财政年份:2019
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant
NeTS: Small: Collaborative Research: Cooperative Interference-Embracing Communication in Multi-Hop Wireless Networks
NeTS:小型:协作研究:多跳无线网络中的协作抗干扰通信
- 批准号:
1949753 - 财政年份:2019
- 资助金额:
$ 4.41万 - 项目类别:
Standard Grant