【太原理工大学】操作系统安全
https://mooc1-1.chaoxing.com/mycourse/studentcourse?courseId=205923237
太原理工大学操作系统安全
对应北京大学兄弟课程：https://www.coursera.org/learn/os-virtsecurity
太理的操作系统安全视频，来自于超星mooc网，上传纯粹为了倍速和快进快退，如果侵权请联系我删除。
视频选集
（16/123）
0.1课程基本情况
09:49
0.2使用教材说明
08:47
0.3.1怎么上课
20:01
0.3.2怎么上课-2
09:49
1.1.1安全威胁类型
10:01
1.1.2通用安全需求
09:57
1.2.1操作系统安全是信息系统安全的基础
09:13
1.2.2操作系统安全与安全操作系统
04:07
1.3.1-1国外安全操作系统发展现状
09:58
1.3.1-2国外安全操作系统发展现状
06:58
1.3.2国内安全操作系统发展现状
09:51
1.4.1计算机系统安全评价标准发展概况
08:04
1.4.2TCSEC基本需求
08:10
1.4.3TCSEC四类七级介绍
10:10
1.4.4TCSEC B2级
18:39
1.4.5CC简介和一般模型
12:39
1.4.6CC安全功能要求
14:33
1.4.7CC安全保证要求
20:03
1.4.8安全功能和安全保证
04:25
1.4.9中国标准
09:35
2.1系统边界与安全周界
06:59
2.2可信软件与不可信软件
05:37
2.3.1主体与客体
06:13
2.3.2访问控制矩阵及引用监控器
07:36
2.3.3安全内核
12:04
2.4构建安全的基本要素
12:14
2.5可信计算基
04:41
3.1.1操作系统的安全性
06:54
3.1.2存储安全
11:31
3.1.2自主访问控制
13:16
3.1.3运行安全
14:12
3.2.1自主访问控制
13:24
3.2.2客体重用
05:56
3.2.3-1强制访问控制
18:07
3.2.3-2强制访问控制
12:58
3.3可追究机制
25:23
3.4.1系统完整性
05:38
3.4.2-1隐蔽通道的概念
18:11
3.4.2-2隐蔽通道的分类和特征
13:51
3.4.2-3隐蔽存储通道
14:26
3.4.2-4隐蔽定时通道
11:15
3.4.2-5通道集成
02:05
3.4.2-6分析隐蔽通道的相关概念
20:44
3.4.3.1句法信息流分析法
12:46
3.4.3.2无干扰分析法
07:32
3.4.3.3共享资源矩阵分析法
16:54
3.4.3.4隐蔽流树
14:04
3.4.4.1隐蔽流树
06:28
3.4.4.2隐蔽通道的处理技术
03:29
3.4.5最小特权管理
16:08
3.4.6可信恢复
03:07
4.1安全策略
21:27
4.2安全模型
21:33
4.3.1BLP模型介绍
16:33
4.3.2-1BLP模型元素
17:18
4.3.2-2BLP模型元素
09:00
4.3.3系统状态表示
09:30
4.3.4安全系统的定义
08:10
4.3.5模型的几个重要公理
09:36
4.3.6-1BLP状态转换规则
20:35
4.3.6-2BLP状态转换规则
13:24
4.3.7BLP分析与改进
14:53
4.4.1-1完整性策略BIBA1
21:40
4.4.1-2完整性策略BIBA2
08:28
4.4.1-3BIBA模型分析
03:52
4.4.2-1Clark-Wilson
23:56
4.4.2-2Clark-Wilson分析
03:51
4.5.1中国墙模型
20:02
4.5.2侵略型中国樯
19:06
4.5.3基于角色的访问控制模型
14:05
4.5.4DET中立型模型
04:56
5.1.1安全体系结构概念
10:59
5.1.2安全体系结构分类
07:47
5.2.1安全体系结构设计原则
24:56
5.2.2安全体系结构设计原则
24:56
5.3GFAC通用访问控制框架
09:53
5.4.1-1Flask基本概念
10:50
5.4.1-2客体管理器
20:32
5.4.1-3Flask撤销机制
11:51
5.4.1-4Flask安全服务器
07:45
5.4.2-1LSM设计思想
10:44
5.4.2-2钩函数
15:23
6.1.1安全保证的概念
14:53
6.1.2安全保证的必要性
07:52
6.1.3安全保证中需求的作用
07:23
6.2.1系统的生命周期
12:44
6.2.2瀑布型生命周期模型
08:02
6.2.3微软安全开发生命周期
07:12
6.3安全测试技术
06:55
6.4.1形式化方法概述
12:57
6.4.2形式化方法的应用研究
02:16
6.4.3-1常用形式化规范与验证技术1
23:20
6.4.3-2算法精华
04:21
6.5安全测评方法
12:28
7.1安全操作系统设计原则
12:52
7.2安全操作系统的一般开发过程
14:24
7.3.1安全操作系统常用开发方法
08:57
7.3.2UNIX安全增强示例
10:43
7.4.1-2安胜操作系统2
11:32
7.4.2安全内核的开发方法
17:39
7.5安全操作系统设计注意的问题
07:34
8.1.1web服务器概述
13:14
8.1.2安全web服务器概念及解决方案
08:39
8.1.3-1SecWeb标识与鉴别
18:59
8.1.3-2SecWeb自主访问控制
13:03
8.1.3-3SecWeb强制访问控制和缓冲区溢出
05:24
8.2安全操作系统与防火墙
20:09
8.3安全操作系统与数据库
20:49
9.1可信计算的历史
21:22
9.2信任和信任根
12:53
9.3度量存储报告
15:21
9.4TPM硬件构成
14:45
9.5可信计算技术的应用
20:30
10.1SELinux操作系统
19:33
10.2SUN+Solaris
20:25
10.3-1windows(1)
18:16
10.3-2windows(2)
14:01
10.3-3windows(3)
04:26
10.4Android
11:46
11.1实验指导书内容介绍
13:58
11.2实验内容示例
07:48
11.3实验报告要求
04:41
11.4实验平台介绍
10:54
顶部