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

来源 :软件学报 | 被引量 : 0次 | 上传用户：jw____

【摘要】

：

安胜安全操作系统是自主研制的基于Linux的高安全等级安全操作系统,包括安全内核,安全架构与安全模型.总结了对该系统进行的隐蔽通道分析方法,首次报道基于Linux内核开发的安

【作者】

：

卿斯汉朱继锋

【机构】

：

中国科学院信息安全技术工程研究中心,中国科学院软件研究所

【出处】

：

软件学报

【发表日期】

：

2004年9期

【关键词】

：

安胜安全操作系统隐蔽通道分析回溯方法存储通道信息流 ANSHENG secure operating system covert channel an

【基金项目】

：

中国科学院资助项目，科技部科研项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

苏家河口水电站溢洪道缓流转弯段设计

苏家河口水电站由于受地形地质条件限制，溢洪道泄槽需设置平面转弯段过渡。该工程采用缓流转弯段，水流流态较好，槽身水流无明显的急流冲击波。

期刊

苏家河口水电站溢洪道缓流转弯段水流流态Sujiahekou Hydropower Station spillway glacis turning s

基于分布均匀度的自适应蚁群算法

针对蚁群算法加速收敛和早熟停滞现象的矛盾,提出一种基于分布均匀度的自适应蚁群算法,以求在加速收敛和防止早熟、停滞现象之间取得很好的平衡。该算法根据优化过程中解的分

期刊

蚁群算法优化旅行商问题

网络测量中自适应数据采集方法

抽样方法广泛地应用于网络测量与其他领域对被测总体的指标进行估计.研究表明,多种网络指标呈现重尾分布或自相似的特征.这些特性为准确估计总体指标带来了诸多困难.但同时,

期刊