3.6

星

10 個評分

Prof. 沈晴霓 (Shen Qingni), Ph.D.

2,873 人已註冊

提供方

操作系统与虚拟化安全

北京大学

課程信息

2,670 次近期查看

操作系统是计算机系统的基础软件，而系统虚拟化已成为云计算平台的核心技术，没有它们提供的安全性，这些计算机系统及其上数据的安全性都将无法保障。本课程将从理论与工程实践相结合的角度，介绍操作系统(Linux)与系统虚拟化(Xen)安全相关理论、技术和方法，包括：安全概念、安全机制、安全模型、安全体系结构、安全开发方法、安全标准与评测方法等，帮助你深入学习和理解该领域的知识体系、实践技术和方法。

可靈活調整截止日期

根據您的日程表重置截止日期。

可分享的證書

完成後獲得證書

100% 在線

立即開始，按照自己的計劃學習。

中級

完成時間大約為28 小時

中文（簡體）

字幕：中文（簡體）

講師

Prof. 沈晴霓 (Shen Qingni), Ph.D.

Dept. of Information Security, School of Software and Electronics（北京大学软件与微电子学院信息安全系）

2,872 個學生

1 門課程

可靈活調整截止日期

根據您的日程表重置截止日期。

可分享的證書

完成後獲得證書

100% 在線

立即開始，按照自己的計劃學習。

中級

完成時間大約為28 小時

中文（簡體）

字幕：中文（簡體）

提供方

北京大学

Peking University is determined to make its education openly accessible to students in China and around the world. With over 3000 faculty members, Peking University offers excellence in teaching and learning.

教學大綱 - 您將從這門課程中學到什麼

週

週 1

完成時間為 2 小時

计算机系统安全的重要性与评测标准

完成時間為 2 小時

8 個視頻（總計 76 分鐘）

週

週 2

完成時間為 1 小時

计算机系统基本安全概念和设计思想

完成時間為 1 小時

5 個視頻（總計 52 分鐘）

週

週 3

完成時間為 2 小時

访问控制机制

完成時間為 2 小時

8 個視頻（總計 76 分鐘）

8 個視頻

3.1 访问控制任务与自主访问控制定义5分鐘

3.2 自主访问控制机制实现技术分类7分鐘

3.3 自主访问控制机制实例-9bit模式和ACL模式（含演示）18分鐘

3.4 特洛伊木马与强制访问控制定义6分鐘

3.5 多级安全思想与BLP机密性强制访问控制规则9分鐘

3.6 强制访问控制机制实例-安全级的标识与赋值（含演示）15分鐘

3.7 强制访问控制机制实例-安全规则的实现6分鐘

3.8 客体重用机制5分鐘

2 個練習

第三周测试30分鐘

第1-3周阶段测试30分鐘

週

週 4

完成時間為 1 小時

可追究机制

完成時間為 1 小時

4 個視頻（總計 38 分鐘）

週

週 5

完成時間為 1 小時

连续保护机制（I）

完成時間為 1 小時

4 個視頻（總計 46 分鐘）

週

週 6

完成時間為 3 小時

连续保护机制（II）

完成時間為 3 小時

9 個視頻（總計 131 分鐘）

9 個視頻

6.1 隐蔽通道的概念（06:10）6分鐘

6.2 隐蔽通道的分类与判别方法（17:31）17分鐘

6.3 隐蔽通道的标识方法概述（07:26）7分鐘

6.4 规范级隐蔽通道标识方法-Kermerer共享资源矩阵法（23:14）23分鐘

6.5 代码级隐蔽通道标识方法-Tsai语义信息流分析法（07:35）7分鐘

6.6 隐蔽通道带宽计算方法（12:13）12分鐘

6.7 隐蔽通道处理方法（12:57）12分鐘

6.8 隐蔽通道构造场景与实例分析（含演示）（28:28）28分鐘

6.9 可信恢复机制（15:32）15分鐘

2 個練習

第六周测试30分鐘

期中测试30分鐘

週

週 7

完成時間為 3 小時

安全模型（I）

完成時間為 3 小時

13 個視頻（總計 137 分鐘）

13 個視頻

7.1 安全模型基本要求（08:07）8分鐘

7.2 安全模型状态机开发方法（07:13）7分鐘

7.3 BLP经典安全模型-模型元素（12:39）12分鐘

7.4 BLP经典机密性安全模型-安全状态、安全属性、安全规则和定理（21:23）21分鐘

7.5 BLP模型的不足与改进（11:03）11分鐘

7.6 完整性涵义及其三个基本操作原则（06:33）6分鐘

7.7 BIBA经典完整性安全模型-完整性级别与信息传输路径（08:58）8分鐘

7.8 BIBA经典完整性安全模型-低水印策略、环策略和严格策略（11:50）11分鐘

7.9 Chinese Wall 中国墙混合安全模型思想及其安全规则（10:49）10分鐘

7.10 RBAC经典中立安全模型的概念与基本性质（08:46）8分鐘

7.11 RBAC96模型实体与相互关系（12:09）12分鐘

7.12 NIST RBAC模型实体与相互关系（07:03）7分鐘

7.13 DTE/TE经典中立安全策略（10:46）10分鐘

1 個練習

第七周测试30分鐘

週

週 8

完成時間為 2 小時

安全体系结构

完成時間為 2 小時

6 個視頻（總計 76 分鐘）

6 個視頻

8.1 安全体系结构概念与分类（11:45）11分鐘

8.2 多策略支持与GFAC广义存取控制框架（09:49）9分鐘

8.3 Flask安全体系结构-客体管理器（22:18）22分鐘

8.4 Flask安全体系结构-安全服务器（06:50）6分鐘

8.5 基于Flask的Linux安全模块框架LSM（I）-Linux体系结构、数据结构、钩子函数（18:23）18分鐘

8.6 基于Flask的Linux安全模块框架LSM（2）-安全系统调用、模块管理、权能模块独立与讨论（07:08）7分鐘

1 個練習

第八周测试30分鐘

週

週 9

完成時間為 4 小時

可信计算技术

完成時間為 4 小時

12 個視頻（總計 181 分鐘）

12 個視頻

9.1 可信计算概念（08:41）8分鐘

9.2 可信计算组织（12:10）12分鐘

9.3 TPM设计原则与体系结构（13:27）13分鐘

9.4 TPM密钥、信任状和所有权（12:22）12分鐘

9.5 TPM的Privacy CA和DAA认证方案（11:48）11分鐘

9.6 TPM的完整性度量、存储和报告机制（14:30）14分鐘

9.7 可信基础设施、可信软件栈和可信网络连接（08:39）8分鐘

9.8 可信计算技术的主要研究工作（15:29）15分鐘

9.9 访谈王绍斌博士（1）-可信计算技术国际化标准进程与应用案例（23:06）23分鐘

9.10 访谈王绍斌博士（2）-可信计算在移动终端、云计算等新型领域的应用趋势（15:39）15分鐘

9.11 访谈卿斯汉教授（1）-微软的可信赖计算概念（17:31）17分鐘

9.12 访谈卿斯汉教授（2）-TPM2.0的重要改进（27:27）27分鐘

2 個練習

第九周测试30分鐘

第7-9周阶段测试30分鐘

週

週 10

完成時間為 2 小時

安全操作系统的设计与实现技术案例

完成時間為 2 小時

6 個視頻（總計 84 分鐘）

6 個視頻

10.1 安全操作系统的开发方法（20:33）20分鐘

10.2 安全操作系统设计实例-背景与目标（访谈卿斯汉教授）（08:43）8分鐘

10.3 安全操作系统设计实例-总体设计（09:22）9分鐘

10.4 安全操作系统设计实例-安全模型的建立（10:46）10分鐘

10.5 安全操作系统设计实例-安全体系结构的设计（09:43）9分鐘

10.6 安全操作系统设计实例-安全机制的实现方法（24:54）24分鐘

1 個練習

第十周测试30分鐘

週

週 11

完成時間為 2 小時

基于安全操作系统的应用-数据库安全

完成時間為 2 小時

7 個視頻（總計 113 分鐘）

7 個視頻

11.1 数据库安全概述（11:19）11分鐘

11.2 安全数据库管理系统（13:36）13分鐘

11.3 多级安全数据库管理系统关键技术之一多级数据模型（15:06）15分鐘

11.4 多级安全数据库管理系统关键技术之二数据库隐通道（08:30）8分鐘

11.5 多级安全数据库管理系统关键技术之三数据库体系结构（17:31）17分鐘

11.6 外包数据库安全关键技术（28:57）28分鐘

11.7 云计算与大数据时代的数据库安全（17:33）17分鐘

1 個練習

第十一周测试30分鐘

週

週 12

完成時間為 3 小時

系统虚拟化安全与虚拟可信平台技术

完成時間為 3 小時

13 個視頻（總計 179 分鐘）

13 個視頻

12.1 虚拟化技术概述与分类（19:07）19分鐘

12.2 虚拟机监控器的实现方法-泛虚拟化、全虚拟化和硬件辅助虚拟化（16:27）16分鐘

12.3 虚拟机监控器的CPU虚拟化、内存虚拟化和I/O虚拟化技术（12:02）12分鐘

12.4 系统虚拟化平台安全性分析（13:34）13分鐘

12.5 虚拟机监控器安全--XSM框架的使用模型（11:08）11分鐘

12.6 虚拟机监控器安全--XSM框架的具体实现（14:24）14分鐘

12.7 虚拟机监控器安全--ACM和Flask策略实现（12:04）12分鐘

12.8 虚拟机迁移与安全控制（12:47）12分鐘

12.9 虚拟机的安全监控技术（08:08）8分鐘

12.10 虚拟机之间的隐蔽通道分析与标识21分鐘

12.11 虚拟可信平台架构设计14分鐘

12.12 虚拟可信平台关键技术--虚拟TPM信任链扩展12分鐘

12.13 虚拟可信平台关键技术--远程证实和可信迁移9分鐘

1 個練習

第十二周测试30分鐘

週

週 13

完成時間為 1 小時

期末考试

完成時間為 1 小時

常見問題

我什么时候能够访问课程视频和作业？
讲座和作业的访问权限取决于您的注册类型。如果您以旁听模式参加课程，则可以免费查看大多数课程资料。要访问评分作业并获得证书，您需要在旁听期间或之后购买证书体验。如果看不到旁听选项：
课程可能不提供旁听选项。您可以尝试免费试用，也可以申请助学金。
课程可能会改为提供'完整课程，没有证书'。通过此选项，您可以查看所有课程材料、提交所要求的作业，以及获得最终成绩。这也意味着您将无法购买证书体验。
我购买证书后会得到什么？
您购买证书后，将有权访问所有课程材料，包括评分作业。完成课程后，您的电子课程证书将添加到您的成就页中，您可以通过该页打印您的课程证书或将其添加到您的领英档案中。如果您只想阅读和查看课程内容，可以免费旁听课程。
Is financial aid available?
是的，Coursera 可以向无法承担学费的学生提供助学金。点击左侧‘注册’按钮下的‘助学金’链接即可申请助学金。您可以根据屏幕提示完成申请，申请获批后会收到通知。了解详情。

還有其他問題嗎？請訪問學生幫助中心。

操作系统与虚拟化安全

操作系统与虚拟化安全

課程信息

講師

Prof. 沈晴霓 (Shen Qingni), Ph.D.

提供方

北京大学

教學大綱 - 您將從這門課程中學到什麼

週 1

计算机系统安全的重要性与评测标准

週 2

计算机系统基本安全概念和设计思想

週 3

访问控制机制

週 4

可追究机制

週 5

连续保护机制（I）

週 6

连续保护机制（II）

週 7

安全模型（I）

週 8

安全体系结构

週 9

可信计算技术

週 10

安全操作系统的设计与实现技术案例

週 11

基于安全操作系统的应用-数据库安全

週 12

系统虚拟化安全与虚拟可信平台技术

週 13

期末考试

常見問題

Coursera Footer

開拓職業生涯或促進職業發展

瀏覽熱門主題

提升團隊技能

在線獲得學位或證書

Coursera

社區

更多