基于扩展下推自动机的Java程序安全相关行为模型自动生成

摘要	第1-5页
Abstract	第5-8页
引言	第8-9页
第一章 绪论	第9-12页
·移动代码的安全问题	第9页
·移动代码安全问题研究现状	第9-10页
·携带模型代码	第10页
·本文工作内容	第10-12页
第二章 安全相关行为模型	第12-14页
·已有的几种安全相关行为模型	第12页
·扩展的有限状态机模型	第12-13页
·EFSA 存在的问题	第13-14页
第三章 EPDA 模型及生成方法	第14-17页
·下推自动机（PDA）	第14-15页
·EPDA 的定义	第15页
·EPDA 的表示	第15-16页
·静态分析生成安全相关行为模型	第16-17页
第四章 EPDA 模型的自动生成	第17-22页
·控制流分析	第17-18页
·方法内部的数据流分析	第18-19页
·方法模型的构造	第19-20页
·方法间模型的组合	第20-22页
第五章 程序实例	第22-33页
·Java 语言简介	第22-24页
·Java 程序源代码	第24-25页
·方法模型的生成结果	第25页
·Java 程序模型的生成结果	第25-26页
·开发环境介绍	第26-29页
·Eclipse 简介	第27-28页
·Eclipse 版本介绍	第28页
·Eclipse 的特点	第28-29页
·Eclipse 开发环境下模型的自动生成	第29-33页
·Java 程序输入	第29-30页
·模型生成的中间结果	第30-31页
·模型生成的最终结果	第31-33页
第六章 总结	第33-34页
·存在的问题	第33页
·未来的工作	第33-34页
参考文献	第34-36页
致谢	第36-37页
在学期间公开发表论文及著作情况	第37页