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

摘要：

从形式化处理的角度出发,首先分析了跨域C2C-PAKE协议应该具有的安全属性,然后给出了一个适合于跨域C2C-PAKE协议的安全模型,并推广了单服务器C2C-PAKE协议的通用协议,进而给出了一个跨域C2C-PAKE协议的通用构造,并在新的模型中证明了其安全性.

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

所属期刊栏目：29

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金60573048;60773135;90718007;国家高技术研究发展计划863计划2007AA01Z427;2007AA01Z450

在线出版日期：2008-06-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：24-29,39