• 
  工业设计史(第四版)（内容一致，印次、封面或原价不同，统一售价，随机发货）
  ￥25.80

本书是一部关于操作系统**的教材,第2版在原书的基础上进行了修订与补充,增加了第11章“可信计算与可信操作系统”与第12章“新型操作系统发展与展望”。全书共分12章,全面介绍操作系统**的基本理论、关键技术和发展趋势。主要内容包括操作系统**的基本概念和理论(由基本概念、**机制、**模型、**体系结构等章节构成),操作系统**的关键技术与方法(如形式化规范与验证、隐蔽通道分析与处理、**操作系统设计、操作系统**评测和**操作系统的网络扩展),可信计算与可信操作系统技术以及面向网络和云计算的新型操作系统发展趋势与**性分析。
本书内容丰富,题材新颖,深入浅出,特点鲜明,理论结合实际,包括操作系统**研究的*新成果,也包括作者在此研究领域长期潜心研究的科研成果。
本书可以作为计算机、软件工程、通信、信息**等专业的高年级本科生、硕士生和博士生的教材,也可以作为广大从事相关专业的教学、科研和工程技术人员的参考书。

第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 本章小结 1.7 习题 第2章 基本概念 2.1 系统边界与**周界 2.2 **功能与**保证 2.3 可信软件与不可信软件 2.4 主体与客体 2.5 **策略和**模型 2.6 访问控制思想 2.6.1 访问控制矩阵 2.6.2 引用监控器 2.6.3 **内核 2.7 可信计算基 2.8 本章小结 2.9 习题 第3章 **机制 第4章 **模型 第5章 **体系结构 第6章 形式化规范与验证 第7章 隐蔽通道分析与处理 第8章 **操作系统设计 第9章 操作系统**评测 第10章 **操作系统的网络扩展 第11章 可信计算与可信操作系统 第12章 新型操作系统发展与展望 参考文献

本书是一部关于操作系统**的教材,第2版在原书的基础上进行了修订与补充,增加了第11章“可信计算与可信操作系统”与第12章“新型操作系统发展与展望”。全书共分12章,全面介绍操作系统**的基本理论、关键技术和发展趋势。

卿斯汉,北京大学信息**系主任,中国科学院软件研究所旨常研究员,教授,博士生导师,国内外**的密码学家、信息**专家。现为**保密局技术顾问、中共**办公厅保密技术攻防**实验室学术委员会委员、中国电子学会理事、中国计算机学会信息保密专委会副主任、中国信息协会信息**专委会副主任、全国信息**标准化技术委员会委员、可信计算工作组组长、亚洲密码学会执行委员会委员、国际信息处理联合会(IFIP)中国委员、国际信息处理联台会信息**委员会(IFIP TC11)中国代表、微软公司全球专家委员会(TCAAB)委员等。曾主持80余项**和中科院的重要科研项目,包括**重大攻关项目、国务院信息办**攻关项日、973项目、863项目、**自然科学基金项目、中国科学院重大科研项目、中国科学院知识创新工程项目等。出版专著8部,发表论文100余篇。