%0 Journal Article
%T 安胜安全操作系统的隐蔽通道分析
%A 卿斯汉？
%A 朱继锋？
%J 软件学报
%P 1385-1392
%D 2004
%X 安胜安全操作系统是自主研制的基于linux的高安全等级安全操作系统,包括安全内核,安全架构与安全模型.总结了对该系统进行的隐蔽通道分析方法,首次报道基于linux内核开发的安全操作系统的隐蔽通道分析结果.应用新型的"回溯方法"发现了某些新的隐蔽通道.对被标识的隐蔽通道,准确地计算了它们的带宽,并进行了适当的隐蔽通道处理.
%K 安胜安全操作系统
%K 隐蔽通道分析
%K 回溯方法
%K 存储通道
%K 信息流
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20040912&flag=1