高等级安全操作系统可信保证技术研究.pdfVIP

高等级安全操作系统可信保证技术研究 李 斌 马 越 刘 剑 中国科学院软件研究所北京 摘要高等级安全操作系统的可信性保证技术是极其重要且极具挑战性的问 题在面向访问验证保护级安全操作系统课题的研究中对高安全可信操 作系统进行预研我们完成了如下工作设计并实现了一个基于 语言的安全 操作系统形式化原型 应用基于 语言的安全不变式模型检测技 术验证了中国墙策略 和多级安全策略 在 实现级的安全性