可证明安全的轻量级双向认证协议：MPUF-HB

摘要 针对HB协议族只能实现单向认证的缺陷，基于HB协议、结合2级物理不可克隆函数设计了可证明安全的轻量级双向认证协议MPUF-HB.文章分别在被动模型、DET攻击模型和GSR-MIM攻击模型下，通过向线性阈值函数可学习性问题的规约严格证明了新协议的安全性.协议基于物理不可克隆函数提供防篡改特性，能有效抵御主动攻击和GSR中间人攻击，在低资源占用量的前提下提高了安全性能，实现了双向认证