CellularLint：一种系统化的方法来识别蜂窝网络规范中的不一致行为
原文中文，约400字，阅读约需1分钟。发表于：。我们引入 CellularLint，这是一个半自动框架，通过自然语言处理技术来检测 4G 和 5G 标准中的不一致性，能够在语义和实际用例的各个层面上同时检测不一致性，从而显著推进协议规范的自动化分析。在我们的调查中，我们重点关注了 4G 和 5G 网络的非接入层和安全规范，最终发现了 157 个不一致性，准确率达到 82.67%。这些不一致性在开源实现和 17...
我们引入了CellularLint，一个半自动框架，用于检测4G和5G标准中的不一致性。调查发现157个不一致性，准确率达到82.67%，可能引起与隐私、完整性、可用性和互操作性相关的问题。
