# 将不合规视为偏离行为：面向 4G LTE 蜂窝设备的自动化黑盒不合规检查器 > DIKEUE 通过差分测试而非预先定义的安全属性，检查商用手机和调制解调器中 4G LTE 控制面（NAS 与 RRC）实现的不合规之处。其状态机推断模块借助 LearnLib 中的 TTT 主动自动机学习，经由面向 LTE 的适配器在改造后的 srsLTE 网络和 USRP B210 无线电上运行，并加入上下文检查器、查询缓存、不一致消解器以及无需重启的复位机制。随后，等价性检查器将两两学到的输入输出有限状态机编码给 nuXmv 模型检查器，枚举多样的偏离诱发输入序列，再由作者人工分析。 - 作者：Syed Rafiul Hussain; Imtiaz Karim; Abdullah Al Ishtiaq; Omar Chowdhury; Elisa Bertino - 原标题：Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Checker for 4G LTE Cellular Devices - 发表载体：ACM CCS 2021 - 发表状态：会议论文 - 出版／提交日期：2021 年 11 月 12 日 - 日期依据：ACM 提交的 Crossref 元数据将 published／纸质出版日期记为 2021-11-12，在线出版日期为 2021-11-13。本条目采用纸质出版日期，而非 11 月 15–19 日的会议日期。 - DOI：10.1145/3460120.3485388 - 来源复核于：2026-10-27 - 收录于：2026-11-03 - 原始论文： - PDF： - 代码： - BibTeX： - 目录页面： - 记录 JSON： - 英文版：[English](https://awesomerea.org/papers/paper-dikeue/index.md) ## 研究范围与局限 覆盖控制面的 NAS 与 RRC 流程，使用选定的输入字母表，查询长度最多为 12；会话管理、数据面协议和 5G 留待后续工作。学到的状态机只是假设，受 Wp 方法一致性测试和自定义终止条件的限制。作者列出了漏报来源，包括遗漏的报文谓词、被剪除的不可行序列、移除偏离迁移后断开的模型，以及以相同方式不合规的设备。研究发现覆盖基带来自五家厂商（高通、英特尔、联发科、海思与 Exynos）的 14 台设备：共 17 项偏离，其中 15 项为新发现，作者将其中 11 项归为可利用、3 项归为潜在互操作问题。偏离的甄别与攻击构造均为人工完成，结果不能代表其他设备、固件版本或网络的行为。 ## 与本合集的关联 通过黑盒交互重建闭源蜂窝基带的协议状态机，并利用不同实现之间的差异定位不合规行为，将本目录中的自动机学习研究从低功耗蓝牙扩展到 4G LTE 设备。 ## 发表与复核说明 Crossref 与作者托管的 PDF 在五位作者顺序上一致；页码 1082–1099 来自 ACM 提交的 Crossref 元数据。17 页作者版于 2021 年 9 月上传。采用 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 及受影响厂商进行负责任披露。 ## 一手来源 1. 2. 3. 4. 5. 6. ## 关于此条目 已依据论文及一手来源复核。请通过原始论文或 BibTeX 引用原作者。 原创说明采用 MIT 许可；外部项目、论文与素材保留各自的权利和许可。