Formal Analysis of BLE Secure Connection Pairing and Revelation of the PE Confusion Attack.
本文针对蓝牙低功耗(BLE)安全连接(Secure Connections)配对协议的安全性展开形式化分析。配对是 BLE 安全体系中的关键环节,决定了后续通信加密密钥的协商方式,因此其安全性直接影响设备间数据传输的机密性与完整性。作者构建
共收录 2 条相关情报。
← 返回所有主题本文针对蓝牙低功耗(BLE)安全连接(Secure Connections)配对协议的安全性展开形式化分析。配对是 BLE 安全体系中的关键环节,决定了后续通信加密密钥的协商方式,因此其安全性直接影响设备间数据传输的机密性与完整性。作者构建
该论文发现了蓝牙配对机制中的一个设计缺陷:两个设备在配对时可以使用不同的配对方法(例如,一个使用Numeric Comparison,另一个使用Just Works),但双方都认为配对成功且安全,导致“方法混淆”。攻击者可以通过中间人方式诱