2021 · 会议论文
将不合规视为偏离行为：面向 4G LTE 蜂窝设备的自动化黑盒不合规检查器
Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Checker for 4G LTE Cellular Devices
DIKEUE 通过差分测试而非预先定义的安全属性，检查商用手机和调制解调器中 4G LTE 控制面（NAS 与 RRC）实现的不合规之处。其状态机推断模块借助 LearnLib 中的 TTT 主动自动机学习，经由面向 LTE 的适配器在改造后的 srsLTE 网络和 USRP B210 无线电上运行，并加入上下文检查器、查询缓存、不一致消解器以及无需重启的复位机制。随后，等价性检查器将两两学到的输入输出有限状态机编码给 nuXmv 模型检查器，枚举多样的偏离诱发输入序列，再由作者人工分析。
研究范围与局限
覆盖控制面的 NAS 与 RRC 流程，使用选定的输入字母表，查询长度最多为 12；会话管理、数据面协议和 5G 留待后续工作。学到的状态机只是假设，受 Wp 方法一致性测试和自定义终止条件的限制。作者列出了漏报来源，包括遗漏的报文谓词、被剪除的不可行序列、移除偏离迁移后断开的模型，以及以相同方式不合规的设备。研究发现覆盖基带来自五家厂商（高通、英特尔、联发科、海思与 Exynos）的 14 台设备：共 17 项偏离，其中 15 项为新发现，作者将其中 11 项归为可利用、3 项归为潜在互操作问题。偏离的甄别与攻击构造均为人工完成，结果不能代表其他设备、固件版本或网络的行为。
与本合集的关联
通过黑盒交互重建闭源蜂窝基带的协议状态机，并利用不同实现之间的差异定位不合规行为，将本目录中的自动机学习研究从低功耗蓝牙扩展到 4G LTE 设备。
发表与复核详情
- 发表载体
- ACM CCS 2021
- 发表状态
- 会议论文
- 出版／提交日期
- 2021 年 11 月 12 日
- 日期依据
- ACM 提交的 Crossref 元数据将 published／纸质出版日期记为 2021-11-12，在线出版日期为 2021-11-13。本条目采用纸质出版日期，而非 11 月 15–19 日的会议日期。
- DOI
- 10.1145/3460120.3485388
Crossref 与作者托管的 PDF 在五位作者顺序上一致；页码 1082–1099 来自 ACM 提交的 Crossref 元数据。所审阅的 17 页作者版于 2021 年 9 月上传，本条目不认定其与 18 页的论文集版本完全相同；ACM PDF 对自动请求返回 HTTP 403。采用 Apache-2.0 的仓库快照 5975807（2023-06-07）包含状态机学习器、改造后的 srsLTE 协议栈及配置、设备复位器和等价性检查器。其 README 列出 Ubuntu 18.04（已测试）、USRP B210（已测试的软件无线电）、adb、Graphviz、JDK 11、Maven、Python 2 与 pydot；还需要按 srsLTE 要求写入的 SIM 卡以及针对各设备的飞行模式复位函数，并称等价性检查器处理两个示例状态机约需 40–45 分钟。README 称改造的协议栈基于 srsLTE 19.03，而论文写的是 srsLTE v19.10。作者称已向 GSMA 及受影响厂商进行负责任披露。本次未使用无线电硬件或设备，也未运行上游代码。
来源复核于
本合集仅做来源复核，未重新运行论文实验。请通过原始论文或 BibTeX 引用原作者。
一手来源
- https://dl.acm.org/doi/10.1145/3460120.3485388
- https://api.crossref.org/works/10.1145/3460120.3485388
- https://syed-rafiul-hussain.github.io/index.php/publications/noncompliance-as-deviant-behavior-an-automated-black-box-noncompliance-checker-for-4g-lte-cellular-devices/
- https://syed-rafiul-hussain.github.io/wp-content/uploads/2021/09/dikeue.pdf
- README.md GitHub · SyNSec-den/DIKEUE · 修订 5975807
- LICENSE GitHub · SyNSec-den/DIKEUE · 修订 5975807