隐蔽通道分析

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

检索结果分析

结果分析中...
条 记 录,以下是1-9
视图:
排序:
高等级安全操作系统的设计被引量:16
《中国科学(E辑)》2007年第2期238-253,共16页卿斯汉 沈昌祥 
北京市自然科学基金(批准号:4052016);国家自然科学基金(批准号:60573042);国家重点基础研究发展规划(批准号:G1999035802)资助项目
众多因特网安全事件的发生表明,为了对抗现代计算环境中的安全威胁,来自安全操作系统的支持是必不可少的.基于国内外相关标准的要求,结合安胜高等级安全操作系统v4.0(以下简称为安胜OS)的设计与开发实践,讨论高等级安全操作系统设计中的...
关键词:高等级安全操作系统 体系结构 安全模型 隐蔽通道分析 
安全数据库隐蔽通道的标识技术与实例分析被引量:2
《计算机技术与发展》2007年第2期233-235,238,共4页王保华 马新强 李丹宁 李丹 章衡 赵振勇 
贵州省优秀科技教育人才省长专项资金资助(黔省专合字(2005)88号)
LogicSQL数据库是自主研制基于Linux的高安全级别安全数据库。重点对安全数据库的隐蔽通道标识技术进行研究,为寻求更好的隐蔽通道标识方法,对共享资源矩阵、信息流公式法、无干扰法等标识方法从理论上进行分析,以Log-icSQL安全数据库...
关键词:隐蔽通道分析 LOGICSQL 安全数据库 
图灵四级安全操作系统隐蔽通道分析研究
《计算机工程》2006年第21期157-159,共3页陆连浩 平玲娣 潘雪增 
国家科技型中小企业技术创新基金资助项目"图灵GB17859-1999第4级高安全服务器网络操作系统"(04C26223300568)
对图灵四级安全操作系统隐蔽通道进行了分析研究,提出了新的隐蔽通道分析方法——增强改进型语义信息流法。该方法具有工作量小、源代码级分析、能排除伪结果、帮助对隐蔽通道进行后续处理等优点。采用该方法对图灵四级安全操作系统隐...
关键词:增强改进型语义信息流法 隐蔽通道分析 图灵四级安全操作系统 存储隐蔽通道 
数据库系统隐蔽通道分析的设计被引量:1
《计算机工程》2006年第18期133-134,154,共3页张世明 何守才 
从隐蔽通道概念入手,阐述了隐蔽通道分析在Oracle中的设计思想,讨论了隐蔽通道分析的内容与层次、隐蔽通道的标识方法、隐蔽通道带宽的计算与测量、隐蔽通道的处理,就如何提高Oracle9i安全性能提供了一种途径。
关键词:数据库安全 B2级安全 隐蔽通道标识 隐蔽通道处理 
安全操作系统中隐蔽通道的研究被引量:4
《信息安全与通信保密》2006年第11期167-168,116,共3页陈颂 何良生 王建华 徐旸 
安全操作系统是信息系统安全的基础,隐蔽通道是解决操作系统安全的瓶颈。论文首先介绍了一种对隐蔽存储通道进行细分的方法,即把隐蔽存储通道分为直接隐蔽存储通道和间接隐蔽存储通道。接着在对隐蔽通道进一步分析的基础上,给出了隐蔽...
关键词:安全操作系统 隐蔽通道分析 存储通道 定时通道 
基于Logic SQL安全数据库的隐蔽通道分析
《贵州科学》2006年第4期60-63,共4页王保华 李丹宁 马新强 章衡 
贵州省长专项基金资助黔省专合字(2005)88号
Logic SQL数据库是自主研制基于linux的高安全级别安全数据库,本文根据近年来成熟的隐蔽通道分析技术针对Logic SQL安全数据库的隐蔽通道进行分析,从隐蔽通道的标识、带宽的计算、隐蔽通道的处理等方面进行分析。并展望下一步Logic SQL...
关键词:安全数据库 LOGIC SQL 隐蔽通道分析 共享资源矩阵 
高安全级别安全数据库的隐蔽通道分析被引量:1
《计算机研究与发展》2006年第z2期168-172,共5页王保华 李丹宁 李丹 马新强 章衡 
贵州省优秀科技教育人才省长专项基金项目(黔省专合字(2005)88号)
LogicSQL数据库是自主研制的基于Linux的高安全级别安全数据库.对高安全级别安全数据库的隐蔽通道的分析,是从隐蔽通道的标识、带宽的计算、隐蔽通道的处理等方面进行的,并以LogicSQL安全数据库的隐蔽通道进行分析与处理.最后展望了下一...
关键词:安全数据库 LOGICSQL 隐蔽通道分析 
高安全等级安全操作系统的隐蔽通道分析被引量:32
《软件学报》2004年第12期1837-1849,共13页卿斯汉 
国家自然科学基金);国家重点基础研究发展规划(973)~~
总结隐蔽通道分析的30年研究进展,根据理论研究与工程实践,说明隐蔽通道及其分析的本质与内涵,指出隐蔽通道分析方法在实际系统中的重要应用,并展望这一领域的若干热点研究方向.
关键词:安全操作系统 隐蔽通道分析 信息流 存储通道 定时通道 
安胜安全操作系统的隐蔽通道分析被引量:19
《软件学报》2004年第9期1385-1392,共8页卿斯汉 朱继锋 
国家自然科学基金;国家重点基础研究发展规划(973)~~
安胜安全操作系统是自主研制的基于 Linux 的高安全等级安全操作系统,包括安全内核,安全架构与安全模型.总结了对该系统进行的隐蔽通道分析方法,首次报道基于 Linux 内核开发的安全操作系统的隐蔽通道分析结果.应用新型的“回溯方法”...
关键词:安胜安全操作系统 隐蔽通道分析 回溯方法 存储通道 信息流 
检索报告 对象比较 聚类工具 使用帮助 返回顶部