操作系统是计算机系统的基础软件，而系统虚拟化已成为云计算平台的核心技术，没有它们提供的安全性，这些计算机系统及其上数据的安全性都将无法保障。本课程将从理论与工程实践相结合的角度，介绍操作系统(Linux)与系统虚拟化(Xen)安全相关理论、技术和方法，包括：安全概念、安全机制、安全模型、安全体系结构、安全开发方法、安全标准与评测方法等，帮助你深入学习和理解该领域的知识体系、实践技术和方法。
제공자:
2,263명이 이미 등록했습니다!
베이징 대학교
강의 계획 - 이 강좌에서 배울 내용
주
1완료하는 데 2시간 필요
计算机系统安全的重要性与评测标准
8 videos (Total 76 min), 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 videos (Total 52 min), 1 quiz
5개의 동영상
2.2 安全三要素与安全策略12m
2.3 安全建模思想6m
2.4 引用监控器概念与安全内核设计思想8m
2.5 安全周界与可信计算基等概念11m
1개 연습문제
第二周测试20m
주
3완료하는 데 2시간 필요
访问控制机制
8 videos (Total 76 min), 2 quizzes
8개의 동영상
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 videos (Total 38 min), 1 quiz
1개 연습문제
第四周测试20m
주
5완료하는 데 1시간 필요
连续保护机制（I）
4 videos (Total 46 min), 1 quiz
4개의 동영상
5.2 管理角色与最小特权管理机制实例（含演示）（11:41）11m
5.3 POSIX权能机制及最小特权管理机制实例（10:45）10m
5.4 系统完整性保护（10:09）10m
1개 연습문제
第五周测试20m
주
6완료하는 데 3시간 필요
连续保护机制（II）
9 videos (Total 131 min), 2 quizzes
9개의 동영상
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 videos (Total 137 min), 1 quiz
13개의 동영상
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 videos (Total 76 min), 1 quiz
6개의 동영상
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 videos (Total 181 min), 2 quizzes
12개의 동영상
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 videos (Total 84 min), 1 quiz
6개의 동영상
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 videos (Total 113 min), 1 quiz
7개의 동영상
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 videos (Total 179 min), 1 quiz
13개의 동영상
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（北京大学软件与微电子学院信息安全系）
베이징 대학교 정보
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.
Founded in 1898, Peking University (PKU) was the first national comprehensive university in China. For the past 115 years, with its hundreds of thousands of outstanding alumni, Peking University has made prominent contributions in the humanities and sciences to further China's prosperity and progress.
자주 묻는 질문
강의 및 과제를 언제 이용할 수 있게 되나요?
강좌에 등록하면 바로 모든 비디오, 테스트 및 프로그래밍 과제(해당하는 경우)에 접근할 수 있습니다. 상호 첨삭 과제는 이 세션이 시작된 경우에만 제출하고 검토할 수 있습니다. 강좌를 구매하지 않고 살펴보기만 하면 특정 과제에 접근하지 못할 수 있습니다.
이 수료증을 구매하면 무엇을 이용할 수 있나요?
수료증을 구매하면 성적 평가 과제를 포함한 모든 강좌 자료에 접근할 수 있습니다. 강좌를 완료하면 전자 수료증이 성취도 페이지에 추가되며, 해당 페이지에서 수료증을 인쇄하거나 LinkedIn 프로필에 수료증을 추가할 수 있습니다. 강좌 콘텐츠만 읽고 살펴보려면 해당 강좌를 무료로 청강할 수 있습니다.
환불 규정은 어떻게 되나요?
재정 지원을 받을 수 있나요?
궁금한 점이 더 있으신가요? 학습자 도움말 센터를 방문해 보세요.
Coursera는 세계 최고의 교육에 대한 보편적인 접근 기회를 제공하며,
최고의 대학 및 기관들과 제휴하여 온라인 강좌를 제공합니다.
© 2019 Coursera Inc. All rights reserved.
