隐蔽通道分析

作品数：9被引量：58H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王保华卿斯汉马新强李丹宁章衡更多>>
相关机构：中国科学院软件研究所贵州大学北京大学贵州科学院更多>>
相关期刊：《计算机研究与发展》《软件学报》《计算机工程》《计算机技术与发展》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划贵州省优秀科技教育人才省长资金项目北京市自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
高等级安全操作系统的设计被引量：16
《中国科学（E辑）》2007年第2期238-253,共16页卿斯汉 沈昌祥 
北京市自然科学基金(批准号:4052016);国家自然科学基金(批准号:60573042);国家重点基础研究发展规划(批准号:G1999035802)资助项目
众多因特网安全事件的发生表明,为了对抗现代计算环境中的安全威胁,来自安全操作系统的支持是必不可少的.基于国内外相关标准的要求,结合安胜高等级安全操作系统v4.0(以下简称为安胜OS)的设计与开发实践,讨论高等级安全操作系统设计中的...
关键词：高等级安全操作系统 体系结构 安全模型 隐蔽通道分析 
高安全等级安全操作系统的隐蔽通道分析被引量：32
《软件学报》2004年第12期1837-1849,共13页卿斯汉 
国家自然科学基金);国家重点基础研究发展规划(973)~~
总结隐蔽通道分析的30年研究进展,根据理论研究与工程实践,说明隐蔽通道及其分析的本质与内涵,指出隐蔽通道分析方法在实际系统中的重要应用,并展望这一领域的若干热点研究方向.
关键词：安全操作系统 隐蔽通道分析 信息流 存储通道 定时通道 
安胜安全操作系统的隐蔽通道分析被引量：19
《软件学报》2004年第9期1385-1392,共8页卿斯汉 朱继锋 
国家自然科学基金;国家重点基础研究发展规划(973)~~
安胜安全操作系统是自主研制的基于 Linux 的高安全等级安全操作系统,包括安全内核,安全架构与安全模型.总结了对该系统进行的隐蔽通道分析方法,首次报道基于 Linux 内核开发的安全操作系统的隐蔽通道分析结果.应用新型的“回溯方法”...
关键词：安胜安全操作系统 隐蔽通道分析 回溯方法 存储通道 信息流 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部