| 第一章 绪论 | 第1-9页 |
| ·课题研究的背景 | 第6-7页 |
| ·信息安全研究的现状和存在的问题 | 第7-8页 |
| ·课题研究的内容 | 第8页 |
| ·论文的组织 | 第8-9页 |
| 第二章 信息安全模型的研究 | 第9-20页 |
| ·安全模型的概念 | 第9-11页 |
| ·安全模型的性质和作用 | 第9-10页 |
| ·信息安全模型的类型 | 第10-11页 |
| ·Bell-Lapadula Model(BLP) | 第11-15页 |
| ·BLP模型的形式化描述 | 第11-14页 |
| ·BLP模型的评估 | 第14-15页 |
| ·Biba模型 | 第15-17页 |
| ·Biba模型的元素 | 第15页 |
| ·完整性策略 | 第15-17页 |
| ·Biba的分析 | 第17页 |
| ·Chinese-Wall模型 | 第17-20页 |
| ·系统结构 | 第17-18页 |
| ·安全属性 | 第18-19页 |
| ·安全访问定理 | 第19-20页 |
| 第三章 基于策略的信息安全模型 | 第20-27页 |
| ·PPDR模型 | 第20-22页 |
| ·基于策略的信息安全系统参考模型 | 第22-27页 |
| ·信息安全需求 | 第23页 |
| ·信息安全服务 | 第23页 |
| ·基于策略的信息安全模型 | 第23-27页 |
| 第四章 信息安全系统形式化建模的方法及应用 | 第27-40页 |
| ·安全系统建模的方法 | 第27页 |
| ·形式化的工具 | 第27-30页 |
| ·时态逻辑 | 第27-28页 |
| ·Petri网的形式化描述 | 第28-29页 |
| ·Petri网的图形表示 | 第29-30页 |
| ·建模和分析的过程 | 第30-32页 |
| ·访问控制的形式化建模与分析 | 第32-40页 |
| ·RAD的框架与授权过程 | 第32-33页 |
| ·RAD的高级体系模型 | 第33-35页 |
| ·体系限制模式和它们的一致性验证 | 第35-40页 |
| 第五章 模型的仿真与分析 | 第40-42页 |
| ·模型的可达性仿真 | 第40页 |
| ·导出数据文件的分析 | 第40-42页 |
| 结论 | 第42-43页 |
| 参考文献 | 第43-45页 |
| 致谢 | 第45-46页 |
| 攻读硕士学位期间发表的论文 | 第46页 |