计算机系统安全
版权信息书 名: 计算机系统安全
作者：马建峰 郭渊博
出版社：西安电子科技大学出版社
出版时间： 2005
ISBN: 9787560614892
开本： 16
定价: 22.00 元
内容简介本书详细论述了计算机系统的安全需求、安全对策、安全模型以及安全系统构建理论，系统介绍了安全策略与安全模型在可信操作系统设计与通用操作系统保护等方面的相关实践问题。书中对与计算机系统安全相关的常用密码学技术与密码协议理论做了详细介绍和分析。另外，本书还从计算机系统对抗的角度出发，系统讨论了计算机病毒原理及其防治、计算机病毒检测与标识的基本理论以及入侵检测的方法与技术等问题。
本书可作为计算机、信息安全、信息对抗等专业高年级本科生或研究生的教学用书，也可作为相关领域的研究和工程技术人员的参考用书。
目录第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.2BLP模型介绍
4.3BLP模型元素
4.4BLP模型的几个重要公理
4.5BLP状态转换规则
4.6BLP模型的几个重要定理
4.7BellLaPadula模型的局限性
习题
第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章入侵检测的方法与技术
参考文献