操作系统安全是信息安全的基础。我国在安全操作系统特别是高级别安全操作系统的研究方面还十分薄弱，急需突破。本项目研究高安全等级安全操作系统的关键技术与前沿问题，研究内容由两部分组成：一是形式化安全策略模型设计，包括机密性模型、完整性模型及特权授权模型。研究系统的模型框架；提出抽象结构清晰，易于实现的形式化模型。二是隐蔽通道分析。解决隐蔽通道分析中的关键问题，包括标识和清除隐蔽通道、降低已知隐蔽通道带宽和审计隐蔽通道的问题。特别是突破国外的封锁，提出具有自主版权的隐蔽通道标识方法。隐蔽通道分析是一个众所周知的难题，极具挑战性，至今许多公开问题没有解决。上述两大课题是制约我国高安全等级操作系统设计开发的关键技术瓶颈，项目的研究成果将会促进我国安全操作系统研究进入一个新的阶段，促进水平的整体提高。该研究成果也可用于高安全等级数据库的设计。研究成果可以迅速转化为实际高级别安全操作系统的设计与实现。