摘要：将认证与密钥协商（Authenticated Key Agreement,AKA）协议所需的一种强安全属性——抗临时密钥泄露攻击引入到基于智能卡和口令的AKA协议中,基于NAXOS方法分别提出了基于智能卡的两方强安全AKA协议和三方强安全AKA协议.同时,首次给出了包含临时密钥泄露攻击的基于智能卡和口令的AKA协议的安全模型,并在该模型下给了所提出协议的安全性证明.此外,文中还分析了抗临时密钥泄露攻击不能在仅使用口令的AKA协议中实现的原因.

关键词：认证与密钥协商协议 临时密钥泄露攻击 智能卡和口令 安全模型 

单位：西安电子科技大学ISN国家重点实验室; 陕西西安710071; 中国科学院大学国家计算机网络入侵防范中心; 北京100049