安全策略形式化定义及其管理系统

提要	第1-7页
第1章 绪论	第7-11页
·非信任移动代码的安全问题	第7页
·携带模型代码方法	第7-9页
·安全策略的定义语言	第9页
·本文的主要工作	第9-11页
第2章 安全策略的形式化定义语言	第11-17页
·安全策略定义语言SPDL	第11-14页
·变量	第11-12页
·事件	第12页
·模式	第12-13页
·响应措施Action	第13-14页
·ftpd策略示例	第14-17页
第3章 安全策略模型	第17-22页
·Bell-LaPadula模型	第17-19页
·Biba模型	第19-21页
·小结	第21-22页
第4章 安全策略的分类与定义	第22-33页
·预定义抽象事件	第22-25页
·预定义安全规则	第25-28页
·安全策略的分类	第28-33页
第5章 安全策略定义与管理工具	第33-41页
·系统的总体介绍	第33页
·安全策略定义功能的实现	第33-35页
·安全策略的EFSA状态转换图	第35-38页
·安全策略库的实现	第38-41页
·安全策略库的设计	第38-39页
·安全策略库的管理	第39-41页
第6章 总结与展望	第41-42页
·全文总结	第41页
·不足与展望	第41-42页
参考文献	第42-44页
致谢	第44-45页
导师及作者简介	第45-46页
摘要	第46-48页
Abstract	第48-50页