The security protocol verification is one of the important projects in the domain of network security.
安全协议认证是网络安全领域中重大课题之一。
In order to guarantee the security of OSPF protocol and to reduce its cost as much as possible, a new verification mechanism was proposed.
为了保障OS PF协议的安全，同时尽可能降低其安全方面的开销，提出了一种全新的验证机制。
We abstract this as a group of logic rules, which makes it possible to do the verification of the interleaving of infinite sessions of the security protocol.
将安全协议对应的并发合成系统抽象为一组逻辑规则，能够对安全协议无穷会话的交叠运行进行验证。
应用推荐