针对双线性对运算复杂度较高，计算开销较大，提出了新的无双线性对无证书的两方跨域认证密钥协商协议。该协议解决了传统的基于身份的密码体制中固有的密钥托管问题，实现了跨域通信双方的身份验证，采用无双线性对运算，极大地降低了计算开销。在保证协议正确性的基础上，采用SVO逻辑对协议进行形式化分析，并验证了协议的认证性和安全性。与其他跨域两方认证密钥协商协议性能相比，该协议达到应具备的安全性的同时，其效率更优。