本文针对蓝牙低功耗（BLE）安全连接（Secure Connections）配对协议的安全性展开形式化分析。配对是 BLE 安全体系中的关键环节，决定了后续通信加密密钥的协商方式，因此其安全性直接影响设备间数据传输的机密性与完整性。作者构建了该协议的正式模型，通过验证脚本对协议逻辑进行严谨的数学推演，并实现了相应的攻击以验证理论发现。研究的核心贡献在于揭示了一种名为“PE 混淆攻击”（PE Confusion Attack）的新型安全威胁，该攻击利用协议中配对阶段参数（Pairing Element, PE）的语义歧义或验证缺失，可能导致攻击者混淆不同配对过程中的关键参数，进而削弱配对过程提供的安全保障。论文提供了完整的工件，包括模型、脚本和攻击实现，供后续研究者复现与深入分析。这项研究对于蓝牙协议栈实现者、安全审计人员以及物联网设备制造商具有重要参考价值，有助于理解 BLE 配对协议在形式化层面存在的设计缺陷，并为未来协议修订或补丁提供理论依据。本文仅基于论文摘要，具体攻击细节和技术路线尚未公开，但其揭示的协议漏洞方向值得关注。