Drone Security and the Mysterious Case of DJI's DroneID.
该论文聚焦于大疆（DJI）无人机所采用的DroneID远程识别协议的安全分析。随着全球多个监管机构陆续推行无人机远程ID（Remote ID）强制合规要求，DroneID作为在无人机与地面接收设备之间广播身份和位置信息的核心协议，其安全性直
#protocol-analysis
共收录 8 条相关情报。
← 返回所有主题Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications.
蜂窝网络协议（如4G/5G）的规范文档通常以自然语言编写，安全分析师需要从这些非形式化描述中手工提取协议状态机，以进行安全分析和漏洞挖掘。这一过程极为耗时且容易出错，阻碍了大规模系统性安全评估。本文提出 Hermes，一个端到端框架，能够自
BaseSpec: Comparative Analysis of Baseband Software and Cellular Specifications for L3 Protocols.
蜂窝基带负责移动设备与基站之间的通信，但其安全性评估极为困难。基带固件通常闭源、混淆度高且逻辑复杂，手动逆向分析需要大量重复劳动，难以覆盖不同型号和版本；自动化分析又因固件规模庞大、涉及大量与复杂蜂窝协议相关的函数而难以实施。因此，已有的基
Right Divisibility in Erasing Semi-Thue Systems: A Minimal View of Intruder Deduction
本文研究符号安全协议分析中的入侵者推导问题，即判断攻击者能否利用其掌握的操作从已观测消息中推导出目标消息。尽管收敛重写系统能够提供规范形式，但模收敛理论的推导一般不可判定，现有可判定片段多由实际密码学示例驱动。本文从最小结构视角出发：当所有
Formal Analysis of BLE Secure Connection Pairing and Revelation of the PE Confusion Attack.
本文针对蓝牙低功耗（BLE）安全连接（Secure Connections）配对协议的安全性展开形式化分析。配对是 BLE 安全体系中的关键环节，决定了后续通信加密密钥的协商方式，因此其安全性直接影响设备间数据传输的机密性与完整性。作者构建
Security Analysis of Bitcoin's V2 Transport Protocol: Exploiting Design Implications for Sustained Eclipse and Downgrade Attacks
比特币最近引入了V2 P2P传输协议，旨在加密节点间的通信，以防范已知的攻击向量。然而，本研究发现该协议的设计存在概念性缺陷（并非实现错误），且这些问题同样适用于其他P2P网络。攻击者可以通过TCP负载长度识别应用消息；利用加密通道的工作机
WCDCAnalyzer: Scalable Security Analysis of Wi-Fi Certified Device Connectivity Protocols.
WCDCAnalyzer 是一篇针对 Wi-Fi 认证设备连接协议（WCDC）的可扩展安全分析论文。研究背景是 Wi-Fi 设备连接协议（如 Wi-Fi Easy Connect、Wi-Fi Direct 等）在智能家居、物联网等场景广泛应
SecGoal: A Benchmark for Security Goal Extraction and Formalization from Protocol Documents
本文提出了SecGoal，这是首个由专家标注的基准测试，覆盖了15种广泛部署的协议文档，包括5G-AKA和TLS 1.3。同时，作者提出了AIFG（AI-assisted framework），一种将安全目标提取与形式化分解为上下文感知的目