Java程序的安全性分析方法研究

摘要	第1-5页
Abstract	第5-8页
1 绪论	第8-14页
·研究背景及意义	第8-9页
·国内外研究现状	第9-12页
·论文主要研究内容	第12-13页
·论文组织结构	第13-14页
2 安全性规则库设计	第14-22页
·建立安全性规则库的必要性	第14-15页
·安全性规则	第15-20页
·安全性规则库的逻辑结构	第20页
·安全性规则库的建立	第20-21页
·本章小结	第21-22页
3 程序中间表示	第22-28页
·现有的程序中间表示	第22页
·程序中间表示的实现	第22-27页
·本章小结	第27-28页
4 依赖分析和并行程序漏洞检测方法	第28-43页
·控制依赖和数据依赖	第28-35页
·并行相关依赖	第35-37页
·面向对象&并行的系统依赖图	第37-41页
·并行程序漏洞检测算法	第41-42页
·本章小结	第42-43页
5 一个基于 Java 程序的安全性测试系统	第43-64页
·系统架构	第43-45页
·系统处理流程	第45-47页
·系统模块设计	第47-63页
·本章小结	第63-64页
6 实验	第64-68页
·实验环境	第64页
·实验数据和结果分析	第64-67页
·本章小结	第67-68页
7 总结与展望	第68-70页
·论文总结	第68页
·工作展望	第68-70页
致谢	第70-71页
参考文献	第71-74页
附录 攻读学位期间参与的科研项目	第74页