New security model for cross-realm C2C-PAKE protocol[J]. 2008, (4): 24-29.DOI:
跨域基于口令认证的密钥交换协议的安全模型
摘要
从形式化处理的角度出发
首先分析了跨域C2C-PAKE协议应该具有的安全属性
然后给出了一个适合于跨域C2C-PAKE协议的安全模型
并推广了单服务器C2C-PAKE协议的通用协议
进而给出了一个跨域C2C-PAKE协议的通用构造
并在新的模型中证明了其安全性。
Abstract
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 con-struction of 3PAKE protocol for single server C2C-PAKE setting
a general construction of cross-realm C2C-PAKE pro-tocol was given
which security was proved in the new security model.