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