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

被引：18

作者：

卿斯汉

朱继锋

机构：

[1] 中国科学院信息安全技术工程研究中心

来源：

软件学报 | 2004年 / 09期

关键词：

安胜安全操作系统; 隐蔽通道分析; 回溯方法; 存储通道; 信息流;

D O I：

10.13328/j.cnki.jos.2004.09.012

中图分类号：

TP309 [安全保密];

学科分类号：

081201 ; 0839 ; 1402 ;

摘要：

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

引用

页码：1385 / 1392

页数：8