安胜安全操作系统的隐蔽通道分析

摘要：

安胜安全操作系统是自主研制的基于Linux的高安全等级安全操作系统,包括安全内核,安全架构与安全模型.总结了对该系统进行的隐蔽通道分析方法,首次报道基于Linux内核开发的安全操作系统的隐蔽通道分析结果.应用新型的"回溯方法"发现了某些新的隐蔽通道.对被标识的隐蔽通道,准确地计算了它们的带宽,并进行了适当的隐蔽通道处理.

关键词：安胜安全操作系统、隐蔽通道分析、回溯方法、存储通道、信息流

所属期刊栏目：15

分类号：TP309(计算技术、计算机技术)

资助基金：中国科学院资助项目60083007;科技部科研项目G1999035810

在线出版日期：2004-10-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1385-1392