About this Course

최근 조회 5,311회

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

100% 온라인

지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.

유동적 마감일

일정에 따라 마감일을 재설정합니다.

중급 단계

완료하는 데 약 34시간 필요

중국어 (간체자)

자막: 중국어 (간체자)

100% 온라인

지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.

유동적 마감일

일정에 따라 마감일을 재설정합니다.

중급 단계

완료하는 데 약 34시간 필요

중국어 (간체자)

자막: 중국어 (간체자)

강의 계획 - 이 강좌에서 배울 내용

주

1

완료하는 데 2시간 필요

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

8개 동영상 (총 76분), 1 quiz

8개의 동영상

1.1 课程简介10m

1.2 计算机系统的安全性11m

1.3 操作系统安全的重要性11m

1.4 安全与可信的区别6m

1.5 安全操作系统的国内外研发现状8m

1.6 美国TCSEC标准与可信评估等级6m

1.7 欧盟ITSEC标准与CC标准的产生6m

1.8 国际CC标准的主要内容及其应用14m

1개 연습문제

第一周测试20m

주

2

완료하는 데 1시간 필요

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

5개 동영상 (총 52분), 1 quiz

5개의 동영상

2.1 主体、客体和访问控制矩阵与通用安全需求11m

2.2 安全三要素与安全策略12m

2.3 安全建模思想6m

2.4 引用监控器概念与安全内核设计思想8m

2.5 安全周界与可信计算基等概念11m

1개 연습문제

第二周测试20m

주

3

완료하는 데 2시간 필요

访问控制机制

8개 동영상 (총 76분), 2 quizzes

8개의 동영상

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

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

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

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

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

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

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

3.8 客体重用机制5m

2개 연습문제

第三周测试20m

第1-3周阶段测试40m

주

4

완료하는 데 1시간 필요

可追究机制

4개 동영상 (총 38분), 1 quiz

4개의 동영상

4.1 标识与鉴别机制9m

4.2 可信路径机制7m

4.3 安全审计与审计事件12m

4.4 审计保护与审计机制实例8m

1개 연습문제

第四周测试20m

주

5

완료하는 데 1시간 필요

连续保护机制（I）

4개 동영상 (총 46분), 1 quiz

4개의 동영상

5.1 最小特权原则与特权划分（13:20）13m

5.2 管理角色与最小特权管理机制实例（含演示）（11:41）11m

5.3 POSIX权能机制及最小特权管理机制实例（10:45）10m

5.4 系统完整性保护（10:09）10m

1개 연습문제

第五周测试20m

주

6

완료하는 데 3시간 필요

连续保护机制（II）

9개 동영상 (총 131분), 2 quizzes

9개의 동영상

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

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

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

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

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

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

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

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

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

2개 연습문제

第六周测试20m

期中测试40m

주

7

완료하는 데 3시간 필요

安全模型（I）

13개 동영상 (총 137분), 1 quiz

13개의 동영상

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

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

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

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

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

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

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

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

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

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

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

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

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

1개 연습문제

第七周测试20m

주

8

완료하는 데 2시간 필요

安全体系结构

6개 동영상 (총 76분), 1 quiz

6개의 동영상

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

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

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

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

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

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

1개 연습문제

第八周测试20m

주

9

완료하는 데 4시간 필요

可信计算技术

12개 동영상 (총 181분), 2 quizzes

12개의 동영상

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

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

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

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

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

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

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

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

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

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

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

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

2개 연습문제

第九周测试20m

第7-9周阶段测试40m

주

10

완료하는 데 2시간 필요

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

6개 동영상 (총 84분), 1 quiz

6개의 동영상

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

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

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

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

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

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

1개 연습문제

第十周测试20m

주

11

완료하는 데 2시간 필요

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

7개 동영상 (총 113분), 1 quiz

7개의 동영상

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

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

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

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

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

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

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

1개 연습문제

第十一周测试16m

주

12

완료하는 데 3시간 필요

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

13개 동영상 (총 179분), 1 quiz

13개의 동영상

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

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

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

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

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

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

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

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

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

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

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

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

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

1개 연습문제

第十二周测试20m

주

13

완료하는 데 1시간 필요

期末考试

1 quiz

1개 연습문제

期末考试50m

강사

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

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

자주 묻는 질문

강의 및 과제를 언제 이용할 수 있게 되나요?
강좌에 등록하면 바로 모든 비디오, 테스트 및 프로그래밍 과제(해당하는 경우)에 접근할 수 있습니다. 상호 첨삭 과제는 이 세션이 시작된 경우에만 제출하고 검토할 수 있습니다. 강좌를 구매하지 않고 살펴보기만 하면 특정 과제에 접근하지 못할 수 있습니다.
이 수료증을 구매하면 무엇을 이용할 수 있나요?
수료증을 구매하면 성적 평가 과제를 포함한 모든 강좌 자료에 접근할 수 있습니다. 강좌를 완료하면 전자 수료증이 성취도 페이지에 추가되며, 해당 페이지에서 수료증을 인쇄하거나 LinkedIn 프로필에 수료증을 추가할 수 있습니다. 강좌 콘텐츠만 읽고 살펴보려면 해당 강좌를 무료로 청강할 수 있습니다.
환불 규정은 어떻게 되나요?
재정 지원을 받을 수 있나요?

궁금한 점이 더 있으신가요? 학습자 도움말 센터를 방문해 보세요.

Take your seat in the global classroom with an iMBA

Give your career a competitive edge in 4-to-6 months

操作系统与虚拟化安全