2) Formal analysis of cryptographic protocol
形式化分析密码协议
1.
Formal analysis of cryptographic protocol becomes international hot spot in researching,the security of cryptographic protocol can be judged by Formal analysis of cryptographic protocol.
密码协议的形式化正在成为国际上研究的热点,通过形式化分析密码协议来判断密码协议是否安全可靠。
5) Protocol analysis
协议分析
1.
Invasion Detecting Technological Research Based on Protocol Analysis;
基于协议分析的入侵检测技术的研究
2.
The improvement of intrusion detection by using decision tree based on protocol analysis;
用决策树改进基于协议分析的入侵检测技术
3.
File sharing service monitoring technique based on protocol analysis in application layer;
基于应用层协议分析的文件共享服务监听技术
6) protocol analyzing
协议分析
1.
Improvement of intrusion detection technique based on protocol analyzing;
基于协议分析的入侵检测方法的改进
2.
This paper introduces some methods which used in intrusion detection system and provides a new model of system based on multi-layer integrated distributed technology,especially recommend the protocol analyzing method in this system.
在描述入侵检测技术的相关内容基础上,提出了基于移动Ad hoc网络的多层分布式入侵检测系统模型,并重点分析了在该模型中的协议分析技术。
3.
Protocol analyzing finite state machine plays a very important role in guaranteeing the correctness of protocol analyzing.
协议分析状态机是提高协议分析正确性的重要保证。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条