摘要
为了提高多服务器环境身份认证的安全性,降低计算复杂度,提出一种基于双线性映射的三因子认证协议,这些因子包括生物信息、智能卡和双线性映射密码。该协议包括系统设置、服务器注册、用户注册、登录、认证和密钥协商,以及密码更新六个阶段,其中,生物因子和智能卡作为核心因子涉及注册、登录、认证和更改阶段。Oracle形式化证明验证了该协议的安全性,攻击者无法得到标志、密码、生物特征信息等,可以实现密钥协商和双向身份认证。与其他相关协议相比,该协议在安全特征、智能卡存储成本、通信成本等方面具有一定优势。
To improve the security of authentication in multiple-server environment and reduce the computational complexity,this paper proposed a three factor authentication protocol based on bilinear mapping,which included three factors of bioinformatics,smart card and bilinear mapping cipher.This protocol included 6 stages:system setup,server registration,user registration,login,authentication,key agreement,and password update.Among them,biological factors and smart cards as the core factors involved registration,landing,authentication and modification.Formal verification of Oracle verifies the security of the protocol.Attackers can not get identification,password,biometric information,etc.,and this achieves key agreement and mutual authentication.Compared with other related protocols,this protocol has some advantages in security features,smart card storage cost,communication cost and so on.
作者
魏春英
郭中华
Wei Chunying;Guo Zhonghua(School of Physics&Electronic Electrical Engineering,Ningxia University,Yinchuan 750021,China)
出处
《计算机应用研究》
CSCD
北大核心
2020年第1期221-224,共4页
Application Research of Computers
基金
国家自然科学基金资助项目(61565014).
关键词
多服务器
身份认证
双线性映射
生物信息
智能卡
形式化证明
multiple-server
authentication
bilinear mapping
bioinformatics
smart card
formal verification