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