本书详细论述了计算机系统的**需求、**对策、**模型以及**系统构建理论, 系统介绍了**策略与**模型在可信操作系统设计与通用操作系统保护等方面的相关实践问题。书中对与计算机系统**相关的常用密码学技术与密码协议理论做了详细介绍和分析。另外,本书还从计算机系统对抗的角度出发,系统讨论了计算机病毒原理及其**、计算机病毒检测与标识的基本理论以及入侵检测的方法与技术等问题。
本书可作为计算机、信息**、信息对抗等专业高年级本科生或研究生的教学用书,也可作为相关领域的研究和工程技术人员的参考用书。

第1章 计算机**引论
1.1 计算机**
1.2 计算机系统**的重要性
1.3 计算机系统的**对策
1.4 计算机系统的**技术
1.5 计算机**的内容及专业层次
习题
第2章 计算机**策略
2.1 系统的**需求及**策略的定义
2.2 **策略的分类
2.3 **策略的形式化描述
2.4 **策略的选择
2.5 小结
习题
第3章 访问控制策略
3.1 访问控制
3.2 访问控制策略
3.3 **核与引用监控器
3.4 访问矩阵模型
习题
第4章 Bell-LaPadula多级**模型
4.1 军用**格模型
4.2 BLP模型介绍
4.3 BLP模型元素
4.4 BLP模型的几个重要公理
4.5 BLP状态转换规则
4.6 BLP 模型的几个重要定理
4.7 BellLaPadula模型的局限性
习题
第5章 **模型的构建
5.1 建模的方法步骤
5.2 模型构建实例
习题
第6章 可信操作系统设计
6.1 什么是可信的操作系统
6.2 **策略
6.3 **模型
6.4 设计可信操作系统
6.5 可信操作系统的保证
6.6 实例分析
6.7 可信操作系统总结
习题
第7章 通用操作系统的保护
7.1 被保护的对象和保护方法
7.2 内存和地址保护
7.3 一般对象的访问控制
7.4 文件保护机制
7.5 用户认证
7.6 小结
7.7 未来发展方向
习题
第8章 密码学基本理论
8.1 密码学介绍
8.2 对称密码
8.3 公钥密码
习题
第9章 密码协议基本理论
9.1 引言
9.2 身份鉴别(认证)协议
……
第10章 计算机病毒基本知识及其**
第11章 计算机病毒检测与标识的几个理论结果
第12章 入侵检测的方法与技术
参考文献