基于有限自动机的软件行为建模方法的研究

中文摘要	第1-6页
Abstract	第6-9页
第1章 绪论	第9-16页
·研究背景及意义	第9-10页
·入侵检测	第10-11页
·软件行为可信研究	第11-14页
·本文主要研究内容及成果	第14页
·本文的组织结构	第14-16页
第2章 软件行为建模方法的研究	第16-25页
·应用软件行为建模方法	第16-18页
·基于系统调用的软件行为建模技术的发展	第18-21页
·有限自动机理论	第21-24页
·本章小结	第24-25页
第3章 软件行为建模算法分析	第25-43页
·软件行为建模算法的研究	第25-32页
·DMC 算法	第25-27页
·在线检测算法	第27-29页
·GK-tail 算法	第29-32页
·分析工具	第32-40页
·JML 介绍	第32-33页
·静态分析工具ESC/Java	第33-36页
·动态分析工具	第36-38页
·ESC/Java 与Daikon 两者的组合	第38-40页
·GK-tail 算法的分析	第40-42页
·本章小结	第42-43页
第4章 软件行为建模算法的改进	第43-55页
·AspectWerkz 监控工具	第43-44页
·改进后的GK-tail 算法	第44-48页
·结果验证	第48-54页
·系统整体功能描述	第48-51页
·系统接口设计	第51-52页
·实验结果及分析	第52-54页
·本章小结	第54-55页
结论	第55-57页
参考文献	第57-61页
攻读学位期间发表论文与研究成果清单	第61-62页
致谢	第62页