On the analysis of BAN-logic and some possible attacks, the protocol is secure.

通过BAN逻辑及各种可能的攻击分析，证明协议是安全的。

youdao

BAN logic can prove whether a protocol can reach expected target and find some defects in the protocol, which helps the protocol get further improvement.

BAN逻辑可以证明协议是否能够达到预期目标，还能够发现协议中存在的一些缺陷，为进一步改进提供参考。

youdao

The enhanced Kerberos protocol's validity was finally proved by BAN logic.

最后使用BAN逻辑对该协议的正确性进行了证明。

youdao

The logic of those who insist that the ban must be enforced, notably hawkish generals and their pro-secular allies in the establishment, is that it helps to curb the religious militancy that the headscarf symbolises.

ECONOMIST: The bad side-effects of a headscarf ban