蓝牙简单配对协议的安全性改进

摘要

本文分析了简单配对协议中数字比较协议在Just Works模型中的应用,针对其存在的中间人攻击问题,提出了一种新的安全协议,并运用Spi演算对该协议进行了安全性证明,结果表明本文提出的安全协议能够防止中间人攻击。