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

作者：王凤娇; 张玉清

来源：通信学报, 2008, (04): 24-29+39.

• 基于口令的认证和密钥交换
• 安全模型
• 跨域
• 端到端
• 可证明安全 password-authenticated key exchange
• security model
• cross realm
• client-to-client
• provably secure

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

• 单位
  信息安全国家重点实验室; 中国科学院研究生院