提出一种新的用于移动通信的相互认证和密钥协商方法——NMAKAP。NMAKAP采用基于阿贝尔群的模幂运算和散列函数进行身份认证，取代了传统公钥密码算法和数字签名方案，降低了协议的计算开销和实现成本。在SVO逻辑系统证明下，NMAKAP协议是安全的。SVO逻辑是安全协议形式化分析的一种重要方法，文章扩展了SVO逻辑分析散列函数的逻辑语法。SVO逻辑方法的认证目标被发现存在中间人攻击，为此提出了新的认证目标，并分析了新目标的安全性。分析了一种可用于移动通信的认证协议——MAKEP。MAKEP协议通过预计算，大大降低了移动设备的计算量，但被认为存在Hijacking攻击。分析表明针对原MAKEP协议