安全操作系统原理和技术.pptVIP

安全操作系统 中国科学技术大学计算机系 陈香兰（0512 xlanchen@ 助教：裴建国 Autumn 2008 课程主页: /~xlanchen 我的联系方法： xlanchen@ 办公室：亲民楼312 电话：0512周一～周三）； 0551－3606864083（合肥） 助教及联系方法： 裴建国：owenustc@ 实验室地址：亲民楼316 电话： 0512课程目标 理解操作系统安全在信息安全中的重要意义 了解安全操作系统研究的历史 掌握通用操作系统中的安全机制 掌握一些典型的安全操作系统的安全需求与安全策略 掌握操作系统安全体系结构 了解安全操作系统的形式化方法和经典的安全模型 理解设计与实现一个安全操作系统的原则和方法 初步了解一些经典的安全操作系统实例 了解国内外关于操作系统安全评估的标准 Text Reference book 刘克龙等，安全操作系统原理与技术，科学出版社，2004.7 贾春福等，操作系统安全，武汉大学出版社，2006.12 卿斯汉等，操作系统安全，清华大学出版社，2004.8 Bill McCarty，SELINUX …，O’Reilly, 2004 Charles?P.?Pfleeger，Security in Computing（信息安全原理与应用），第4版，电子工业出版社 Matt Bishop，Computer Security – art and science，国内有影印版和中译版 …… 课程内容和进度安排 作业和实验 作业内容参见ppt 每周一交作业 若遇放假或者调课，则顺延到下一周 最后一次作业，考试前交 共交4～5次作业 上机：一共20个机时，具体时间由学院统一安排 Project 5个左右 Project分组根据各个project来确定 每组每个project提交一份实验报告（参照给定格式） … 安全操作系统的实验安排 主机安全 口令破解 文件恢复 恶意软件（可选） 系统安全 缓冲区溢出（可选） 安全审计 文件事件审计 主机安全审计 * 考试 2008-12-31 应用场景 2008-12-29 第18周 评估准则 2008-12-24 SOS介绍 2008-12-22 第17周 SOS设计与实现 2008-12-17 安全模型2 2008-12-15 第16周 安全模型1 2008-12-10 形式化方法 2008-12-8 第15周 OS安全体系结构 2008-12-3 需求与策略 2008-12-1 第14周 通用OS安全机制 2008-11-26 OS安全机制 2008-11-24 第13周 绪论（2） 2008-11-19 绪论（1） 2008-11-17 第12周 周三 周一 一共13个课堂，每个课堂3课时； ＋考前答疑＋考试 ＋20个机时 Please Enjoy！