蜂窝基带负责移动设备与基站之间的通信，但其安全性评估极为困难。基带固件通常闭源、混淆度高且逻辑复杂，手动逆向分析需要大量重复劳动，难以覆盖不同型号和版本；自动化分析又因固件规模庞大、涉及大量与复杂蜂窝协议相关的函数而难以实施。因此，已有的基带安全研究大多只针对单一厂商的少数型号或版本，缺乏系统性和可扩展性。针对这一空白，本文提出 BaseSpec 方法，其核心思路是将基带软件中的协议实现与 3GPP 蜂窝规范（特别是 L3 协议）进行细粒度的自动化比较分析。通过提取基带固件中的状态机、消息处理流程和协议字段约束，并与规范中的定义进行比对，从而识别实现中的偏差、逻辑错误或潜在漏洞。该方法能够有效减少人工参与，使分析过程可扩展到多厂商、多型号和多版本。论文的主要贡献包括：设计了一种面向 L3 协议的基带软件-规范比较框架；提出了自动化提取和比对协议状态机的方法；并通过实验证明该方法能够发现实际基带实现中的安全相关缺陷。适合移动安全研究员、基带厂商安全团队以及对协议实现漏洞挖掘感兴趣的读者阅读。

该论文提出了一种基于3GPP标准的GNSS欺骗检测框架，专门针对时分双工（TDD）移动网络。TDD网络要求严格的同步精度（±1.5μs，依据3GPP TS 38.104），而GNSS驯服的grandmaster时钟是主要的定时源。GNSS欺骗已成为一种已文档化的运营威胁，能够破坏所有下游基站的定时，但当前的3GPP管理框架（SA5）和安全框架（SA3）均未提供标准化的检测或报告机制。本文提出的检测和监控框架运行在现有3GPP管理结构内，主要贡献包括：引入与TS 28.111和TS 28.552一致的GNSS定时告警和性能计数器；一种拓扑感知关联机制，通过分组gNB-DU（由同一grandmaster服务）来分类异常；以及一个安全事件桥接机制，将故障管理与SECHAND事件处理（TR 33.894）联系起来。蒙特卡洛模拟表明，在良好配置的PTP网络条件下，当漂移率高于0.5 ns/s时，检测概率超过95%，假阳性率低于1%。该框架无需新接口，与代际无关，并通过场景分析验证了其区分欺骗与信号丢失、设备故障和维护瞬态的能力。论文还讨论了该框架在5G及未来6G网络中的适用性。