操作系统安全
操作系统安全封面图

操作系统安全

卿斯汉等, 编著

出版社:清华大学出版社

年代:2004

定价:

书籍简介:

本书全面介绍操作系统安全的基本理论与关键技术,以及操作系统安全方面的最新科研成果,包括作者在此领域长期潜心研究的成果。

作者介绍:

卿斯汉,研究员,博士生导师,中科院信息安全技术工程研究中心主任,国内外著名信息安全专家;中科院重大攻关项目首席科学家、中科院知识创新工程项目首席科学家;获中科院和国家科技进步5次,排名均为第一;先后6次担任国际信息安全会议主席。

书籍目录:

第1章 引言 1.1 操作系统面临的安全威胁  1.1.1 病毒和蠕虫  1.1.2 逻辑炸弹  1.1.3 特洛伊木马  1.1.4 天窗  1.1.5 隐蔽通道 1.2 操作系统安全和信息系统安全 1.3 安全操作系统的研究发展 1.4 基本定义及术语 1.5 本章小结 1.6 习题第2章 基本概念 2.1 安全功能与安全保证 2.2 可信软件与不可信软件

第1章 引言 1.1 操作系统面临的安全威胁  1.1.1 病毒和蠕虫  1.1.2 逻辑炸弹  1.1.3 特洛伊木马  1.1.4 天窗  1.1.5 隐蔽通道 1.2 操作系统安全和信息系统安全 1.3 安全操作系统的研究发展 1.4 基本定义及术语 1.5 本章小结 1.6 习题第2章 基本概念 2.1 安全功能与安全保证 2.2 可信软件与不可信软件 2.3 主体与客体 2.4 安全策略和安全模型 2.5 参照监视器和安全内核  2.5.1 参照监视器  2.5.2 安全内核 2.6 可信计算基 2.7 本章小结 2.8 习题第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.2.5 实现要点 3.3 存取控制  3.3.1 自主存取控制  3.3.2 强制存取控制 3.4 最小特权管理  3.4.1 基本思想  3.4.2 一个最小特权管理机制的实现举例  3.4.3 特权细分举例 3.5 可信通路 3.6 安全审计  3.6.1 审计的概念  3.6.2 审计事件  3.6.3 审计记录和审计日忐  3.6.4 一般操作系统审计的实现 3.7 UNIX/Linux的安全机制  3.7.1 标识  3.7.2 鉴别  3.7.3 存取控制  3.7.4 审计  3.7.5 密码  3.7.6 网络安全性  3.7.7 网络监控与入侵检测  3.7.8 备份/恢复 3.8 本章小结 3.9 习题第4章 安全模型……第5章 安全体系结构第6章 形式化规范与验证第7章 隐蔽通道分析与处理第8章 安全操作系统设计第9章 操作系统安全评测第10章 安全操作系统的网络扩展参考文献

内容摘要:

本书共分10章,全面介绍操作系统安全的基本理论与关键技术。主要包括:操作系统安全的基本概念和理论,介绍基本概念、安全机制、安全模型、安全体系结构等内容;操作系统安全的关键技术与方法,如形式化规范与验证、隐蔽通道的分析与处理、安全操作系统设计等;操作系统安全评测;安全操作系统的网络扩展。 本书内容丰富,题材新颖,深入浅出,特点鲜明,理论结合实际,包括操作系统安全研究的最新成果,也包括作者在此领域长期潜心研究的科研成果。 本书可以作为计算机、通信、信息安全等专业的高年级本科生、硕士生和博士生的教材,也可以作为广大教学、科研和工程技术人员的参考书。

书籍规格:

书籍详细信息
书名操作系统安全站内查询相似图书
丛书名高等院校信息安全专业系列教材
9787302087809
《操作系统安全》pdf扫描版电子书已有网友提供资源下载链接,请点击下方按钮查看
出版地北京出版单位清华大学出版社
版次1版印次1
定价(元)语种简体中文
尺寸26装帧平装
页数印数
全网搜索试读资源

书籍信息归属:

操作系统安全是清华大学出版社于2004.出版的中图分类号为 TP316 的主题关于 操作系统-安全技术-高等学校-教材 的书籍。