WEEK 1

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

8 videos

Video: 1.1 课程简介
Video: 1.2 计算机系统的安全性
Video: 1.3 操作系统安全的重要性
Video: 1.4 安全与可信的区别
Video: 1.5 安全操作系统的国内外研发现状
Video: 1.6 美国TCSEC标准与可信评估等级
Video: 1.7 欧盟ITSEC标准与CC标准的产生
Video: 1.8 国际CC标准的主要内容及其应用

Graded: 第一周测试

WEEK 2

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

5 videos

Video: 2.1 主体、客体和访问控制矩阵与通用安全需求
Video: 2.2 安全三要素与安全策略
Video: 2.3 安全建模思想
Video: 2.4 引用监控器概念与安全内核设计思想
Video: 2.5 安全周界与可信计算基等概念

Graded: 第二周测试

WEEK 3

访问控制机制

8 videos

Video: 3.1 访问控制任务与自主访问控制定义
Video: 3.2 自主访问控制机制实现技术分类
Video: 3.3 自主访问控制机制实例-9bit模式和ACL模式（含演示）
Video: 3.4 特洛伊木马与强制访问控制定义
Video: 3.5 多级安全思想与BLP机密性强制访问控制规则
Video: 3.6 强制访问控制机制实例-安全级的标识与赋值（含演示）
Video: 3.7 强制访问控制机制实例-安全规则的实现
Video: 3.8 客体重用机制

Graded: 第三周测试

Graded: 第1-3周阶段测试

WEEK 4

可追究机制

4 videos

Video: 4.1 标识与鉴别机制
Video: 4.2 可信路径机制
Video: 4.3 安全审计与审计事件
Video: 4.4 审计保护与审计机制实例

Graded: 第四周测试

WEEK 5

连续保护机制（I）

4 videos

Video: 5.1 最小特权原则与特权划分（13:20）
Video: 5.2 管理角色与最小特权管理机制实例（含演示）（11:41）
Video: 5.3 POSIX权能机制及最小特权管理机制实例（10:45）
Video: 5.4 系统完整性保护（10:09）

Graded: 第五周测试

WEEK 6

连续保护机制（II）

9 videos

Video: 6.1 隐蔽通道的概念（06:10）
Video: 6.2 隐蔽通道的分类与判别方法（17:31）
Video: 6.3 隐蔽通道的标识方法概述（07:26）
Video: 6.4 规范级隐蔽通道标识方法-Kermerer共享资源矩阵法（23:14）
Video: 6.5 代码级隐蔽通道标识方法-Tsai语义信息流分析法（07:35）
Video: 6.6 隐蔽通道带宽计算方法（12:13）
Video: 6.7 隐蔽通道处理方法（12:57）
Video: 6.8 隐蔽通道构造场景与实例分析（含演示）（28:28）
Video: 6.9 可信恢复机制（15:32）

Graded: 第六周测试

Graded: 期中测试

WEEK 7

安全模型（I）

13 videos

Video: 7.1 安全模型基本要求（08:07）
Video: 7.2 安全模型状态机开发方法（07:13）
Video: 7.3 BLP经典安全模型-模型元素（12:39）
Video: 7.4 BLP经典机密性安全模型-安全状态、安全属性、安全规则和定理（21:23）
Video: 7.5 BLP模型的不足与改进（11:03）
Video: 7.6 完整性涵义及其三个基本操作原则（06:33）
Video: 7.7 BIBA经典完整性安全模型-完整性级别与信息传输路径（08:58）
Video: 7.8 BIBA经典完整性安全模型-低水印策略、环策略和严格策略（11:50）
Video: 7.9 Chinese Wall 中国墙混合安全模型思想及其安全规则（10:49）
Video: 7.10 RBAC经典中立安全模型的概念与基本性质（08:46）
Video: 7.11 RBAC96模型实体与相互关系（12:09）
Video: 7.12 NIST RBAC模型实体与相互关系（07:03）
Video: 7.13 DTE/TE经典中立安全策略（10:46）

Graded: 第七周测试

WEEK 8

安全体系结构

6 videos

Video: 8.1 安全体系结构概念与分类（11:45）
Video: 8.2 多策略支持与GFAC广义存取控制框架（09:49）
Video: 8.3 Flask安全体系结构-客体管理器（22:18）
Video: 8.4 Flask安全体系结构-安全服务器（06:50）
Video: 8.5 基于Flask的Linux安全模块框架LSM（I）-Linux体系结构、数据结构、钩子函数（18:23）
Video: 8.6 基于Flask的Linux安全模块框架LSM（2）-安全系统调用、模块管理、权能模块独立与讨论（07:08）

Graded: 第八周测试

WEEK 9

可信计算技术

12 videos

Video: 9.1 可信计算概念（08:41）
Video: 9.2 可信计算组织（12:10）
Video: 9.3 TPM设计原则与体系结构（13:27）
Video: 9.4 TPM密钥、信任状和所有权（12:22）
Video: 9.5 TPM的Privacy CA和DAA认证方案（11:48）
Video: 9.6 TPM的完整性度量、存储和报告机制（14:30）
Video: 9.7 可信基础设施、可信软件栈和可信网络连接（08:39）
Video: 9.8 可信计算技术的主要研究工作（15:29）
Video: 9.9 访谈王绍斌博士（1）-可信计算技术国际化标准进程与应用案例（23:06）
Video: 9.10 访谈王绍斌博士（2）-可信计算在移动终端、云计算等新型领域的应用趋势（15:39）
Video: 9.11 访谈卿斯汉教授（1）-微软的可信赖计算概念（17:31）
Video: 9.12 访谈卿斯汉教授（2）-TPM2.0的重要改进（27:27）

Graded: 第九周测试

Graded: 第7-9周阶段测试

WEEK 10

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

6 videos

Video: 10.1 安全操作系统的开发方法（20:33）
Video: 10.2 安全操作系统设计实例-背景与目标（访谈卿斯汉教授）（08:43）
Video: 10.3 安全操作系统设计实例-总体设计（09:22）
Video: 10.4 安全操作系统设计实例-安全模型的建立（10:46）
Video: 10.5 安全操作系统设计实例-安全体系结构的设计（09:43）
Video: 10.6 安全操作系统设计实例-安全机制的实现方法（24:54）

Graded: 第十周测试

WEEK 11

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

7 videos

Video: 11.1 数据库安全概述（11:19）
Video: 11.2 安全数据库管理系统（13:36）
Video: 11.3 多级安全数据库管理系统关键技术之一多级数据模型（15:06）
Video: 11.4 多级安全数据库管理系统关键技术之二数据库隐通道（08:30）
Video: 11.5 多级安全数据库管理系统关键技术之三数据库体系结构（17:31）
Video: 11.6 外包数据库安全关键技术（28:57）
Video: 11.7 云计算与大数据时代的数据库安全（17:33）

Graded: 第十一周测试

WEEK 12

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

13 videos

Video: 12.1 虚拟化技术概述与分类（19:07）
Video: 12.2 虚拟机监控器的实现方法-泛虚拟化、全虚拟化和硬件辅助虚拟化（16:27）
Video: 12.3 虚拟机监控器的CPU虚拟化、内存虚拟化和I/O虚拟化技术（12:02）
Video: 12.4 系统虚拟化平台安全性分析（13:34）
Video: 12.5 虚拟机监控器安全--XSM框架的使用模型（11:08）
Video: 12.6 虚拟机监控器安全--XSM框架的具体实现（14:24）
Video: 12.7 虚拟机监控器安全--ACM和Flask策略实现（12:04）
Video: 12.8 虚拟机迁移与安全控制（12:47）
Video: 12.9 虚拟机的安全监控技术（08:08）
Video: 12.10 虚拟机之间的隐蔽通道分析与标识
Video: 12.11 虚拟可信平台架构设计
Video: 12.12 虚拟可信平台关键技术--虚拟TPM信任链扩展
Video: 12.13 虚拟可信平台关键技术--远程证实和可信迁移

Graded: 第十二周测试

WEEK 13

期末考试

Graded: 期末考试

Level	Intermediate
Language	Chinese (Simplified)
How To Pass	Pass all graded assignments to complete the course.

操作系统与虚拟化安全

操作系统与虚拟化安全

操作系统与虚拟化安全