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