...安全协议验证 [gap=899]ords ：OBDDs; mu-calculus; temporal logics of knowledge; symbolic model checking; protocol verification； ...
基于1个网页-相关网页
security protocol verification 安全协议认证 ; 安全协议验证
NSPK Protocol Verification NSPK协议验证
protocol verification method 协议验证方法
Automatic Protocol Verification 协议自动化分析
protocol verification and analysis 协议验证与分析
bus interface protocol verification 总线接口协议验证
In the model, protocol verification theory is introduced into the system to make up shotcomings of protocol analyzing method.
该模型引入了协议确认模块,在进行模式匹配前对数据进行过滤。
参考来源 - 基于TCP/IP协议分析的入侵检测系统的实现·2,447,543篇论文数据，部分数据来源于NoteExpress
The security protocol verification is one of the important projects in the domain of network security.
安全协议认证是网络安全领域中重大课题之一。
They are very useful in protocol verifications. This paper presents some methods of protocol verification and uses KRONOS to verify FDDI to introduce the method of using timed automata.
文章介绍了网络协议验证的几种方法，并以KRONOS验证FDDI 协议为例说明了用时间自动机验证协议的方法。
应用推荐