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

Provable Secure Lightweight Mutual Authentication: MPUF-HB

作　　者：刘威[1,2] 何红旗 董卫宇[1,2] 

机构地区：[1]解放军信息工程大学,郑州450002 [2]数学工程与先进计算国家重点实验室,郑州450002

出　　处：《小型微型计算机系统》2017年第11期2454-2457,共4页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(61271104)资助

摘　　要：针对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 mutual authentication protocol based on 2-level PUF called M PUF-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 authentication by using PUFs,which is provable secure against the active attack and the GSR-MIM attack with low cost.

关 键 词：PUF LTF HB协议 双向认证 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]