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

• 作者: 张玉清 王凤娇
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 基于口令的认证和密钥交换 安全模型 跨域 端到端 可证明安全
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 学术论文
• 页码范围: 24-29,39
• 页数: 7页
• 分类号: TP309
• 字数: 7211字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2008.04.005

摘要

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