...2008年第13期—龙源期刊网 关键词：安全协议；BAN逻辑；进化规划；自动生成 [gap=560]Keywords：security protocol;BAN logic;evolutionary programming;automatic generating ...
基于44个网页-相关网页
Extended BAN Logic 扩展的BAN逻辑
ban-logic ban逻辑
BAN-like logic BAN类逻辑
ban-type logic ban类逻辑
ban logic
禁止逻辑
以上为机器翻译结果，长、整句建议使用 人工翻译 。
BAN logic has been by far the most widely used.
BAN逻辑是目前使用最广泛的。
youdao
By BAN logic analysis, the security of this new protocol is proved.
通过BAN逻辑分析，证明了改进协议的安全性。
The enhanced Kerberos protocol's validity was finally proved by BAN logic.
最后使用BAN逻辑对该协议的正确性进行了证明。
应用推荐
模块上移
模块下移
不移动