Jul, 2024

CellularLint:一种系统化的方法来识别蜂窝网络规范中的不一致行为

TL;DR我们引入CellularLint,这是一个半自动框架,通过自然语言处理技术来检测4G和5G标准中的不一致性,能够在语义和实际用例的各个层面上同时检测不一致性,从而显著推进协议规范的自动化分析。在我们的调查中,我们重点关注了4G和5G网络的非接入层和安全规范,最终发现了157个不一致性,准确率达到82.67%。这些不一致性在开源实现和17台商用设备上经过验证后,我们确认它们确实对设计决策产生了重大影响,可能引起与隐私、完整性、可用性和互操作性相关的问题。