On the analysis of BAN-logic and some possible attacks, the protocol is secure.
通过BAN逻辑及各种可能的攻击分析，证明协议是安全的。
By BAN logic analysis, the security of this new protocol is proved.
通过BAN逻辑分析，证明了改进协议的安全性。
BAN logic has been by far the most widely used.
BAN逻辑是目前使用最广泛的。
BAN logic has been by far the most widely used.
BAN逻辑是目前使用最广泛的。
应用推荐