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

摘要

针对HB协议族只能实现单向认证的缺陷,基于HB协议、结合2级物理不可克隆函数设计了可证明安全的轻量级双向认证协议MPUF-HB.文章分别在被动模型、DET攻击模型和GSR-MIM攻击模型下,通过向线性阈值函数可学习性问题的规约严格证明了新协议的安全性.协议基于物理不可克隆函数提供防篡改特性,能有效抵御主动攻击和GSR中间人攻击,在低资源占用量的前提下提高了安全性能,实现了双向认证.%As a solution for the defection of HB protocols that only approve one-way authentication,a provable secure lightweight mu-tual authentication protocol based on 2-level PUF called MPUF-HB was proposed. The security of new protocol is proved by using the reduction method,and the attacker′s hardness is reduced to the hardness of solving the PAC-learnable problem for the Linear Threshold Function in the passive model、the DET model and the GSR-MIM model. The protocol approves the tamper-proof mutual authentica-tion by using PUFs,which is provable secure against the active attack and the GSR-MIM attack with low cost.