摘要
针对基于身份的移动自组网认证密钥协商协议中,会话两方属于不同私钥生成中心(PKG)的情况,利用双线性对的性质和椭圆曲线离散对数问题,提出了一种跨域两方认证密钥协商协议,并采用应用pi演算和ProVerif自动化验证工具对其安全属性进行形式化分析。分析结果表明,提出的协议实现了保密性、身份认证性以及密钥一致性确认,同时又具有较好的性能,非常适用于资源有限的移动自组网。
In order to resolve the problems of ID-based authenticated key agreement protocol that two session parties belong to different private key generators（PKG） in mobile Ad hoc network（MANET） respectively,this paper proposed an authenticated key agreement protocol for cross-domain two session parties based on the bilinear pairing and elliptic curve discrete logarithm problem.The secure properties of the protocol had been formally verified in the applied pi calculus with the assistance of an automatic protocol verifier.All analysis show that the scheme perfectly adapt to the resource limited MANET because of its better secure property of secrecy,identity authenticity and the same key confirmation as well as better performance.
出处
《计算机应用研究》
CSCD
北大核心
2011年第7期2734-2737,共4页
Application Research of Computers
关键词
认证
密钥协商
双线性对
跨域
移动自组网
authentication
key agreement
bilinear pairing
cross-domain
MANET
