The security protocolverification is one of the important projects in the domain of network security.
安全协议认证是网络安全领域中重大课题之一。
2
In the model, protocolverification theory is introduced into the system to make up shotcomings of protocol analyzing method.
该模型引入了协议确认模块，在进行模式匹配前对数据进行过滤。
3
It has become more and more important that the application of theorem proving on mathematic theorem proving, protocolverification, hardware verification and software verification.