摘要
将认证与密钥协商(Authenticated Key Agreement,AKA)协议所需的一种强安全属性——抗临时密钥泄露攻击引入到基于智能卡和口令的AKA协议中,基于NAXOS方法分别提出了基于智能卡的两方强安全AKA协议和三方强安全AKA协议.同时,首次给出了包含临时密钥泄露攻击的基于智能卡和口令的AKA协议的安全模型,并在该模型下给了所提出协议的安全性证明.此外,文中还分析了抗临时密钥泄露攻击不能在仅使用口令的AKA协议中实现的原因.
Bring a strong security property,resistance to ephemeral key reveal attack which is needed in the authenticated key agreement （AKA） protocols,to the AKA protocols using smart card and password. A strongly secure two- party AKA protocol us- ing smart card and a strongly secure three-party AKA protocol using smart card were proposed respectively.Meanwhile, the first security model for AKA protocols using smart card and password which includes the ephemeral key reveal attack was proposed. The security proof of the proposed protocols was given in the new security model. The reason why the property of ephemeral key reveal attack can not be achieved in AKA protocols using only password was also given in this paper.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2014年第8期1587-1593,共7页
Acta Electronica Sinica
基金
国家自然科学基金(No.61272481)
北京市自然科学基金(No.4122089)
关键词
认证与密钥协商协议
临时密钥泄露攻击
智能卡和口令
安全模型
authenticated key agreement protocol
ephemeral key reveal attack
smart card and password
security model
