基于扩展的不干扰模型的系统完整保护研究

摘要：

本文通过对微内河操作系统Minix 3.0完整性属性的分析，认为操作系统完整性的策略可以用不干扰模型来描述，而保障系统完整性的安全机制同样可以通过不干扰模型来描述和验证。根据安全策略和安全机制描述的需要，本文对不干扰模型的输出视图和视图转换关系进行了扩展，将系统的执行状态与数据存储状态一同作为分析系统完整性保持的依据，使系统完整性分析更加细致和有针对性。

关键词： 微内核操作系统 不干扰模型 系统完整保护 视图转换 安全机制

作者: 崔隽 黄皓 陈志贤

作者单位: 软件新技术国家重点实验室，南京，210093 南京大学计算机科学与技术系，南京，210093

会议类型: 国内会议

会议名称: 第六届中国信息和通信安全学术会议(CCICS”2009)

会议地点: 南京

会议语种:中文

页码: 637-641

在线出版日期: 2009-05-30（万方平台首次上网日期，不代表论文的发表时间）