移动自组网中跨域两方认证密钥协商协议研究

针对基于身份的移动自组网认证密钥协商协议中，会话两方属于不同私钥生成中心（PKG）的情况，利用双线性对的性质和椭圆曲线离散对数问题，提出了一种跨域两方认证密钥协商协议，并采用应用pi演算和ProVerif自动化验证工具对其安全属性进行形式化分析。分析结果表明，提出的协议实现了保密性、身份认证性以及密钥一致性确认，同时又具有较好的性能，非常适用于资源有限的移动自组网。

Research on authenticated key agreement protocol in cross-domain two-party for mobile Ad hoc network

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 ve...