操作系统安全设计 内容简介

　　本书系统地介绍了经典的操作系统安全设计的相关理论和实践技术，并融入了*新的可信计算技术、系统虚拟化技术，以及未来的云操作系统进展及其安全实践。 　　本书内容由浅入深，分为“基础篇”、“理论篇”、“实践篇”和“趋势篇”四大部分。“基础篇”重点介绍操作系统基本安全概念、通用安全需求、安全标准和必要的安全机制等。“理论篇”重点介绍操作系统安全建模理论、安全体系结构设计思想，以及安全保证技术和测评方法等。“实践篇”重点介绍安全操作系统设计与实现技术的案例，以及基于安全操作系统的应用系统安全案例。“趋势篇”重点介绍*新的可信计算技术、系统虚拟化技术，以及操作系统进展及其安全实践。读者可以依据不同层面的需求灵活地选用相关部分的内容进行阅读。本书的每一章后面都附有习题和参考文献，便于读者对各章的内容进行思考和深入理解。 　　本书重点面向计算机、软件工程、信息安全等相关专业的高等院校本科生，也适用于高等院校和科研机构相关专业的硕士生和博士生，还可以作为相关学科领域科研人员、工程技术人员的参考用书。

操作系统安全设计 目录

编委会
丛书序
前言
教学建议
**部分　基础篇
第1章　引言
1.1　操作系统安全威胁与安全需求
1.1.1　安全威胁类型
1.1.2　通用安全需求
1.2　操作系统安全是信息系统安全的基础
1.3　国内外安全操作系统发展历史与现状
1.3.1　国外安全操作系统发展历史与现状
1.3.2　国内安全操作系统发展历史与现状
1.4　计算机系统安全等级划分与评测标准
1.4.1　标准发展概况
1.4.2　tcsec准则
1.4.3　cc准则
1.5　相关术语
1.6　本章小结
习题1
参考文献
第2章　基本概念
2.1　系统边界与安全周界
2.2　可信软件与不可信软件
2.3　访问控制基本概念
2.3.1　主体与客体
2.3.2　访问控制矩阵
2.3.3　引用监控器
2.3.4　安全内核
2.4　构建安全的基本要素
2.4.1　安全策略
2.4.2　安全机制
2.4.3　安全保证
2.5　可信计算基
2.6　本章小结
习题2
参考文献
第3章　操作系统基本安全机制
3.1　硬件安全机制
3.1.1　存储安全
3.1.2　运行安全
3.1.3　i/o安全
3.2　访问控制机制
3.2.1　自主访问控制
3.2.2　客体重用
3.2.3　安全标记
3.2.4　强制访问控制
3.3　可追究机制
3.3.1　标识与鉴别
3.3.2　可信通路
3.3.3　安全审计
3.4　连续保护机制
3.4.1　系统完整性
3.4.2　隐蔽通道分析
3.4.3　*小特权管理
3.4.4　可信恢复
3.5　本章小结
习题3
参考文献
第4章　通用操作系统安全机制
4.1　unix/linux操作系统安全机制
4.1.1　系统结构
4.1.2　安全机制
4.2　windows nt/xp操作系统安全机制
4.2.1　系统结构
4.2.2　安全模型
4.2.3　安全机制
4.3　本章小结
习题4
参考文献
第二部分　理论篇
第5章　安全策略与安全模型
5.1　安全策略
5.1.1　安全策略概述
5.1.2　安全策略类型
5.1.3　策略表达语言
5.2　安全模型
5.2.1　安全模型的作用和特点
5.2.2　形式化安全模型设计目标与要求
5.2.3　状态机安全模型的一般开发方法
5.3　机密性策略与模型
5.3.1　机密性策略目标
5.3.2　bell-lapadula模型
5.3.3　bell-lapadula模型分析与改进
5.4　完整性策略与模型
5.4.1　完整性策略目标
5.4.2　biba模型
5.4.3　clark-wilson模型
5.5　混合型/中立型安全策略与模型
5.5.1　中国墙模型
5.5.2　基于角色的访问控制模型
5.5.3　域和型强制实施模型
5.6　其他模型
5.6.1　安全信息流模型
5.6.2　无干扰安全模型
5.7　本章小结
习题5
参考文献
第6章　安全体系结构
6.1　安全体系结构基本概念
6.1.1　安全体系结构定义
6.1.2　安全体系结构分类
6.2　安全体系结构设计原则与目标
6.2.1　设计原则
6.2.2　设计目标
6.3　gfac通用访问控制框架
6.4　flask安全体系结构与lsm框架
6.4.1　flask安全体系结构
6.4.2　lsm访问控制框架
6.5　权能安全体系结构
6.5.1　权能与访问控制列表
6.5.2　eros系统及其权能体系
6.6　本章小结
习题6
参考文献
第7章　安全保证技术
7.1　概述
7.1.1　安全保证的概念
7.1.2　安全保证的必要性
7.1.3　安全保证中需求的作用
7.2　安全开发生命周期
7.2.1　系统的生命周期
7.2.2　瀑布型生命周期模型
7.2.3　安全开发生命周期
7.3　安全测试技术
7.3.1　老虎队和善意黑客
7.3.2　安全测试的基本过程
7.4　形式化规范与验证技术
7.4.1　形式化方法概述
7.4.2　形式化方法的应用研究
7.4.3　常用形式化规范与验证技术
7.5　安全测评方法
7.5.1　传统安全性保证手段
7.5.2　操作系统安全评测方法
7.6　本章小结
习题7
参考文献
第三部分　实践篇
第8章　安全操作系统设计与实现技术

 1/2    1 2 下一页 尾页

教材 研究生/本科/专科教材 工学

在线阅读