在JAVA语言环境下实现安全策略的强制实施

提要	第1-7页
第1章 绪论	第7-11页
·移动代码安全	第7页
·携带模型代码方法	第7-8页
·强制实施	第8-9页
·本文工作内容	第9-11页
第2章 MCC方法与JAVA环境	第11-16页
·JAVA规范	第11-12页
·MCC方法与JAVA环境	第12-14页
·KAFFE介绍	第14-15页
·对KAFFE的修改方案	第15-16页
第3章 安全策略定义与EFSA模型	第16-26页
·安全策略形式定义	第16-21页
·理论基础	第16-18页
·SPDL规范	第18-20页
·安全策略例子	第20-21页
·EFSA模型	第21-24页
·理论基础	第21-22页
·内部表示与EFSA文件	第22-24页
·EFSA例子	第24页
·从安全策略到EFSA的转换算法	第24-26页
第4章 安全策略的实施过程实现	第26-34页
·程序整体结构	第26-28页
·安全策略的编译分析过程	第28-30页
·监控程序的实现细节	第30-31页
·程序使用手册	第31-34页
第5章 实验分析	第34-38页
·示例及结果	第34-36页
·效率分析	第36-38页
第6章 总结	第38-41页
·相关工作	第38页
·MCC方法的进一步探讨	第38-40页
·存在的问题与工作方向	第40-41页
参考文献	第41-43页
攻读硕士学位期间发表论文	第43-44页
致谢	第44-45页
导师及作者简介	第45-46页
摘要	第46-49页
ABSTRACT	第49-51页