报告题目： 关于计算机系统的可证明安全性

主讲人：肖　刚  教授    （法国尼斯大学）

时间：7月24日（星期四） 下午4:30---5:30

地点：小教学楼302室

摘   要:现有的计算机操作系统 (Windows, Linux, Mac) 都是建立在早期计算机系统的安全性概念上的。这个早期的安全概念很大程度上依赖于用户的可信任性， 安全规则的设置十分粗放，已完全不适应今日网络时代的计算环境。之所以病毒木马入侵横行而无有效的应对方法。对此本人提出可证明安全的操作系统概念，可以有效应对网络环境下的安全威胁.。这个概念的技术关键是将系统的 “安全敏感”代码范围压缩到最低限度，而现有系统中几乎所有的代码都是安全敏感的。

最后介绍这个概念在Linux系统下的一个初步实施软件Sysmask。该软件已经受数年的实际应用考验，效果令人满意。