QUIC协议因近期标准化及各大科技公司的推动而日益普及，成为新一代传输层协议。然而，对其安全性的全面审查至关重要。本文首次系统分析了QUIC协议设计本身（而非常见漏洞）所引发的客户端请求伪造攻击。研究聚焦于三种攻击模式：协议冒充、流量放大以及（推测的）其他形式。作者通过分析QUIC协议消息的可控攻击空间，证明其中一种攻击模式能够成功冒充其他基于UDP的协议（例如DNS请求），并识别出流量放大向量。尽管QUIC规范规定了反放大限制，但对13个常用QUIC服务器实现的评估表明，部分实现缺失或未充分实施这些缓解措施。最后，针对协议冒充提出了缓解方案，并讨论了规范中的歧义之处。该工作为QUIC协议的安全性提供了重要视角，揭示了设计层面可能存在的安全隐患。

该论文聚焦于安全协议执行中的细粒度可追踪性问题，提出了一种新的形式化框架，用于在协议执行中精确追踪参与方的身份、行为及其状态变化。研究背景是现有协议追踪技术通常粒度较粗，难以应对复杂攻击场景（如混淆代理、重放攻击）。核心方法包括定义一种扩展的迹语义（trace semantics），并引入可追踪性属性（trackability properties）的细粒度分类。通过案例研究（如Needham-Schroeder协议）验证了框架的有效性。实验表明，该方法能够揭示协议设计中隐藏的追踪漏洞，为改进协议安全性提供指导。主要贡献是建立了一个系统化的细粒度可追踪性分析理论，并提供了自动化工具原型。适合安全协议设计者、形式化验证研究人员以及关注隐私与问责制的安全分析师阅读。

本研究揭示了模型上下文协议（MCP）中的一个安全漏洞：工具元数据在客户端审批视图与注入模型上下文的字节之间可能存在不一致。作者将这种差距定义为“隐藏编码”机制，并聚焦于Unicode TAG块（U+E0000至U+E007F），该块在所有主流终端、聊天或IDE渲染器中均未分配字形，因此人类审查者无法看到用其编写的载荷，但载荷却逐字节进入模型的tokenizer。作者构建了概念验证，使用真实MCP JSON-RPC/stdio协议在5个不同的MCP元数据表面上实现了8种具体技术。所有8种技术都将攻击者控制的载荷送入模型上下文，4种技术绕过了代表性字符串匹配清洗器，而只有TAG块编码（1/8）在人类审批视图中不可见且完整到达模型。MCP在检查时间到使用时间的“抽地毯”攻击下，0/8的技术需要重新审批。为了验证结果是协议属性还是某个服务器代码库的产物，作者在3个独立开发的Python MCP服务器库上重新实现了所有测试，所有32个跨库结果完全一致。基线清洗器对25个良性描述均未标记。该研究表明，MCP的现有防御机制不足以检测此类隐藏载荷，对基于LLM的编码代理的安全构成威胁。

本研究首次对医疗领域三大核心协议 HL7、FHIR 和 DICOM 进行了大规模互联网安全测量。作者首先部署为期九个月的低交互蜜罐，发现网络扫描主要针对 DICOM，而 HL7 和 FHIR 几乎未被探测，表明后两者的安全性严重被忽视。随后，研究者对 IPv4 和 IPv6 全地址空间进行扫描，识别出大量暴露的医疗系统，并发现因认证缺陷导致的数据泄露。同时，检查了这些服务的 TLS 配置缺陷以及已知的不安全医疗软件。结果令人震惊：共有数十万医疗服务存在认证缺陷，超过半数的系统未启用传输加密，数千台服务器存在已知软件漏洞（最高 CVSS 9.8，可导致系统被接管）。文章还讨论了这些安全问题背后的原因（如遗留系统、缺乏安全更新）和应对措施，并报告了向受影响厂商发起的协调披露行动，以推动患者数据保护。本工作填补了 HL7 和 FHIR 协议安全大规模评估的空白，揭示了医疗行业网络安全的严峻现状。

该论文研究了SSH协议的通道完整性安全问题。SSH协议广泛用于安全远程登录和文件传输，其核心是经过身份验证的密钥交换和二进制包协议（BPP）来保证通道的机密性和完整性。然而，作者发现当前广泛使用的三种加密模式（如ChaCha20-Poly1305，CBC-ETM等）下的SSH BPP不再满足通道完整性要求（INT-PST、aINT-PTXT、INT-sfCTF），从而允许攻击者在不被客户端或服务器察觉的情况下，删除SSH通道开头部分的加密数据包，实现前缀截断攻击。作者详细分析了漏洞的根源：一是SSH握手过程中存在可选消息且未经认证；二是激活加密密钥时SSH未重置消息序列号。基于这些发现，论文展示了多种实际攻击场景：包括完全破坏SSH扩展协商（RFC 8308），使得攻击者可降级用户认证的公钥算法，或关闭OpenSSH 9.5中针对按键时间攻击的新防护措施；此外，结合AsyncSSH中的实现缺陷，攻击者能将受害者的登录重定向到攻击者控制的shell。互联网范围扫描显示，71.6%的SSH服务器支持至少一种易受攻击的加密模式，其中63.2%将其列为首选。最后，作者提出了有效且向后兼容的缓解方案，包括在握手期间对MAC值进行绑定以及对序列号管理进行改进。该研究对于SSH协议安全、网络基础设施防护以及安全通信库的设计具有重要参考价值。

本文对 DJI 无人机中 DroneID 系统的安全性进行了深入分析。DroneID 是 DJI 自 2019 年起强制在其消费级和专业级无人机中集成的远程身份识别和广播系统，用于向监管机构和公众广播无人机的位置、高度、速度等信息。研究者通过逆向工程、固件分析、硬件调试和无线电信号解码等手段，系统性地检查了 DroneID 的实现。他们发现 DroneID 使用了自创的、非标准的协议，其中包含了多个严重安全漏洞：首先，DroneID 数据包未加密传输，任何具备 SDR 设备的观察者都能截获并解析无人机身份和位置信息；其次，DroneID 身份标识可以轻易伪造，攻击者可以冒充合法无人机发送虚假位置信息，或隐藏真实无人机；第三，协议缺乏完整性校验，允许攻击者篡改正在广播的数据；最后，研究者还发现了硬件层面的调试接口泄漏，可提取加密密钥。这些漏洞组合起来可能导致无人机被远程劫持、隐私大规模泄露、监管数据不可信等严重后果。作者在负责任披露后，DJI 部分承认问题并在后续固件中尝试缓解，但核心协议缺陷依然存在。本文适合无人机安全研究者、物联网安全从业者及监管机构阅读。

工业控制协议（ICP）对于工业基础设施的可靠性和稳定性至关重要，但其安全性受到规范盲点（specification-blindness）瓶颈的根本性影响。现代模糊测试工具受限于基于观测的推理，难以深入协议状态或检测微妙的语义偏差。本文提出了AFL-ICP，一种自主模糊测试框架，开创了规范驱动的范式。AFL-ICP包含一个上下文感知的规范形式化流水线，可将复杂规范转换为严格的机器可执行语法。在此基础上，AFL-ICP利用大语言模型（LLM）实现自动化的协议适配和种子生成，从而以最少的人工工作快速扩展到新协议。此外，它还包含一个基于LLM的差分检查器，将实现输出与规范要求进行交叉引用，以检测现有模糊测试工具无法发现的细微语义和逻辑错误。作者实现了AFL-ICP，并在四种广泛使用的ICP（包括开源和闭源变体）上进行了评估。结果表明，AFL-ICP在覆盖率方面显著优于最先进的模糊测试工具，并发现了24个先前未知的漏洞，已获得受影响供应商（如FreyrSCADA）的确认。其中，识别出的漏洞包括16个语义和逻辑错误，这些错误可能悄无声息地破坏工业操作并降低服务可用性。本文适合工业控制系统安全研究人员、模糊测试工具开发者以及工控协议设计者阅读。

本文研究了BACnet协议中隐式保留字段（implicitly reserved fields）的安全性问题。BACnet（Building Automation and Control Network）是楼宇自动化和控制网络中广泛应用的标准协议，用于暖通空调、照明、安防等系统的互操作。作者发现，BACnet协议规范中定义了一些保留字段，这些字段本应被忽略或设置为零，但实际实现中，不同厂商的设备对这些字段的处理方式不一致，可能导致安全漏洞。通过逆向工程和实际测试，作者揭示了攻击者可以利用这些保留字段注入恶意数据、绕过访问控制或实施拒绝服务攻击。具体地，论文提出了“BADnet”攻击方法，能够利用保留字段的歧义性破坏BACnet设备的正常通信。实验在多个商用BACnet设备上进行，验证了攻击的有效性。本文的主要贡献包括：首次系统分析BACnet保留字段的安全风险；提出并实现了BADnet攻击框架；为BACnet协议的安全增强提供了建议，如明确保留字段的处理规范和增加完整性校验。该研究对于工业控制系统安全、特别是智能楼宇安全具有重要参考价值。由于本文仅为arXiv预印本，未提供实验复现细节，故置信度设为abstract_only。

该论文提出 ProtocolGuard，一种结合大语言模型（LLM）引导的静态分析与动态验证的方法，用于检测协议实现中的违规行为（protocol non-compliance bugs）。协议实现中的违规错误（如状态机状态错误、消息格式错误、序列错误）可能导致严重的安全漏洞。传统方法依赖手动编写的规则或模型检查，但面对复杂协议扩展性差且误报率高。ProtocolGuard 利用 LLM 从协议规范文档中自动推断出协议的行为模型（如状态机、消息序列规则），然后将该模型转换为静态分析中的约束，并生成用于动态验证的测试用例。具体来说，LLM 首先解析自然语言描述的协议规范，提取关键的状态转换和消息格式约束；然后，静态分析阶段在源代码上检查这些约束是否被违反，并标记可疑位置；最后，动态验证通过构造特定输入触发可疑路径，确认是否存在实际违规。实验在多个真实协议实现（如 TLS 1.3、SSH、QUIC 等）上进行评估，结果表明 ProtocolGuard 能够发现若干已知和未知的违规错误，且误报率低于现有方法。该工作首次将 LLM 用于协议违规检测的完整流程，提升了自动化程度和检测覆盖面。读者无需阅读原文，即可理解该方法的核心思路：借助 LLM 从文本规范中学习协议规则，辅以动静结合分析实现高精度检测。

本文对QUIC协议实现中的逻辑漏洞进行了系统性研究。QUIC作为一种基于UDP的传输层协议，旨在提升HTTP/3的性能与安全性，但不同实现（如Chromium、Quinn、msquic等）可能因状态机处理不当、参数校验缺失或并发控制缺陷而引入逻辑漏洞。作者首先构建了针对QUIC实现的黑盒与白盒测试框架，通过模糊测试和手工分析相结合的方式，对主流实现进行了深度审计。研究发现多类逻辑漏洞，包括连接迁移机制中的权限绕过、0-RTT数据重放攻击、流控制窗口计算错误以及握手状态跳跃导致的内存破坏。实验表明，这些漏洞可导致拒绝服务、信息泄露或中间人攻击。论文进一步提出了基于状态机建模的静态分析工具，用于自动检测此类缺陷，并在真实实现中发现了多个未见报的漏洞。该工作为QUIC实现的安全性评估提供了系统方法论，对协议标准化和实现优化具有重要参考价值。