跨域基于口令认证的密钥交换协议的安全模型  

New security model for cross-realm C2C-PAKE protocol

作　　者：王凤娇[1] 张玉清[1] 

机构地区：[1]中国科学院研究生院国家计算机网络入侵防范中心

出　　处：《通信学报》2008年第4期24-29,39,共7页Journal on Communications

基　　金：国家自然科学基金资助项目(60573048,60773135,90718007);国家高技术研究发展计划(“863”计划)基金资助项目(2007AA01Z427,2007AA01Z450)~~

摘　　要：从形式化处理的角度出发,首先分析了跨域C2C-PAKE协议应该具有的安全属性,然后给出了一个适合于跨域C2C-PAKE协议的安全模型,并推广了单服务器C2C-PAKE协议的通用协议,进而给出了一个跨域C2C-PAKE协议的通用构造,并在新的模型中证明了其安全性。From the formalism point of view, the security attributes needed in the cross-realm C2C-PAKE scenario was first analyzed, and then a new security model for cross-realm C2C-PAKE was presented. Analogous to the general construction of 3PAKE protocol for single server C2C-PAKE setting, a general construction of cross-realm C2C-PAKE protocol was given, which security was proved in the new security model.

关 键 词：基于口令的认证和密钥交换 安全模型 跨域 端到端 可证明安全 

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