基于静态分析自动生成Java程序安全行为模型

提要	第1-7页
第一章 引言	第7-12页
·非信任移动代码的安全问题	第7页
·保护主机技术的研究现状	第7-9页
·携带模型代码	第9-10页
·本文工作的内容	第10-12页
第二章 安全行为模型及其生成方法	第12-18页
·安全相关行为模型	第12-13页
·已有的几种安全行为模型	第13页
·扩展的有限状态机	第13-15页
·基于执行监控的模型生成方法	第15-16页
·存在的问题	第16-18页
第三章 ECFG模型及其生成方法	第18-40页
·模块化模型的重要性	第18-19页
·模块化的模型：扩展的上下文无关文法	第19-21页
·下推自动机和上下文无关文法	第19-20页
·扩展的上下文无关文法	第20-21页
·基于静态分析技术的模型生成方法	第21-40页
·Java简介	第22-23页
·Java程序的安全行为模型	第23-25页
·方法的模型	第25-31页
·参数间的赋值关系	第31-36页
·程序的模型	第36-40页
第四章 模型生成器的实现	第40-46页
·概述	第40-41页
·数据结构	第41-42页
·实现的细节	第42-46页
·构造符号池	第42-43页
·构造控制流图	第43-44页
·其它重要问题	第44-46页
第五章 例子	第46-54页
·例子程序源代码	第46-47页
·中间结果	第47-51页
·最终结果	第51-54页
第六章 总结	第54-57页
·相关工作	第54-55页
·存在的问题	第55页
·今后的工作	第55-57页
参考文献	第57-62页
攻读硕士学位期间发表论文	第62-63页
摘要	第63-66页
Abstract	第66-70页
致谢	第70-71页
导师及作者简介	第71页