课程编号: 201M6006H |
课时: 20 |
学分: 1.0 |
课程属性: 专业研讨课 |
主讲教师:王跃武 |
英文名称: System Secure Architecture: The Trend of R&D on Trustworthy Execution |
教学目的、要求
本课程是信息安全专业研究生开设的专业研讨课,其目的是使学生初步掌握信息系统软件运行可信保护的基本内容,并了解其应用领域。本课程聚焦软件运行可信性保护的最新研究进展,通过研讨,培养研究生的研究性学习能力,开阔眼界,使参加授课的同学对主流软件执行过程可信保护方向的科研动向、最新技术以及其在相关领域的应用有初步的了解,为将来的研究与应用打好基础。
预修课程
网络与系统安全、计算机体系结构
教 材
主要内容
Topic 1: 改变博弈规则(Game Change)的系统安全保护研究
以美国NITRD报告中的“Game Change”的安全技术研究计划为出发点,介绍软件执行可信保护的实际需求。第一、二周,4个学时,王跃武讲授。
Topic 2: TCG的规范
研讨国际可信计算组织TCG推出的可信计算的最新规范,共同探讨其中软件可信执行保护技术的最新动向。第三、四周,4个学时,学生主讲,王跃武点评总结。
Topic 3: 厂商的支持
引导同学,通过阅读相关芯片的技术手册,了解ARM、Intel,AMD等处理器厂商对软件运行可信执行保护的支持,掌握一下可用的基础。第五、六周,4个学时,引导学生讨论,王跃武点评总结。
Topic 4: 经典的工作
引导同学,通过四大系统安全会议选取的最新的软件运行可信保护的研究工作的阅读,了解该领域的经典的研究工作,把握一下最新的趋势。第七、八周,4个学时,学生主讲,王跃武点评总结。
Topic 5: 应用探讨
结合Google Pay,云服务安全证明等一些典型的应用场景,探讨软件可信执行保护技术的应用。第九、十周,4个学时,引导学生研讨,王跃武点评总结。
参考文献
国际系统安全四大会议(IEEE S&P, ACM CCS, Usenix Security Sympoisum, NDSS)论文;
TCG相关规范;
相关厂商处理器芯片技术手册等