| <中文摘要> | 第1页 |
| <关键词> | 第4-5页 |
| <英文摘要> | 第5页 |
| <英文关键词> | 第5-10页 |
| 第一章 绪论 | 第10-24页 |
| ·计算机安全事故 | 第10-11页 |
| ·计算机安全威胁 | 第11-13页 |
| ·计算机安全与操作系统安全 | 第13-19页 |
| ·WWW系统的安全性分析 | 第19-21页 |
| ·相关术语 | 第21-24页 |
| 第二章 信息安全策略 | 第24-40页 |
| ·介绍 | 第24页 |
| ·系统的安全需求及安全策略的定义 | 第24-27页 |
| ·安全策略的分类 | 第27-38页 |
| ·安全策略的选择 | 第38-39页 |
| ·小结 | 第39-40页 |
| 第三章 计算机系统访问控制模型 | 第40-54页 |
| ·介绍 | 第40页 |
| ·基于访问矩阵的信息安全模型 | 第40-44页 |
| ·基于点阵的访问控制模型 | 第44-48页 |
| ·基于角色的访问控制模型 | 第48-53页 |
| ·小结 | 第53-54页 |
| 第四章 Bell-LaPadula模型 | 第54-69页 |
| ·模型介绍 | 第54-55页 |
| ·模型元素 | 第55-57页 |
| ·模型几个重要的公理 | 第57-58页 |
| ·状态转换规则 | 第58-66页 |
| ·模型几个重要的定理 | 第66-68页 |
| ·小结 | 第68-69页 |
| 第五章 对Bell-LaPadula模型的改造 | 第69-90页 |
| ·介绍 | 第69页 |
| ·Bell-LaPadula模型的局限性 | 第69-75页 |
| ·对Bell-LaPadUla模型的改造 | 第75-83页 |
| ·改造后的 BLP~+模型的提出 | 第83-89页 |
| ·小结 | 第89-90页 |
| 第六章 基于 BLP~+模型的SecLinux安全操作系统的设计与实现 | 第90-115页 |
| ·介绍 | 第90-91页 |
| ·基于 Linux开发安全操作系统的可能性 | 第91-92页 |
| ·BLP~+模型在SecLinux安全操作系统中的实现 | 第92-114页 |
| ·小结 | 第114-115页 |
| 第七章 BLP~+模型与安全SecWeb系统 | 第115-135页 |
| ·WWW系统描述 | 第115-118页 |
| ·安全WebServer概念的提出及相应的解决方案 | 第118-119页 |
| ·基于BLP~+模型的SecWeb系统描述 | 第119-134页 |
| ·小结 | 第134-135页 |
| 第八章 结束语 | 第135-136页 |
| <引文> | 第136-143页 |
| 附录 | 第143-144页 |
| 附录A | 第143-144页 |
| 附录B | 第144页 |
