搜索到144篇“ 隐蔽通道分析“的相关文章
面向数据库源码的隐蔽通道分析方法研究
隐蔽通道是用户可以绕过强制访问控制检查进行隐蔽通信的一种机制,标识一个系统中的隐蔽通道是高安全等级系统的开发和测试中必不可少的工作。源码层面使用信息流分析技术搜索隐蔽通道时,现有方法难以确定虚函数调用处的被调用函数。此外...
马生祥
关键词:数据库信息流
基于源代码的隐蔽通道分析方法若干关键问题的研究
面对信息化社会层出不穷的海量级信息,信息系统已成为信息处理必不可少的强有力的工具,信息系统的安全也越来越受到人们的广泛重视。而作为信息系统底层支持的操作系统的安全是保证信息系统安全的前提,所以,操作系统安全成为计算机领域...
刘承玉
关键词:隐蔽通道分析预处理传递闭包
文献传递
一种面向隐蔽通道分析的系统分析和划分方法
面向隐蔽通道分析的系统分析和划分方法,步骤10:初始化动作;步骤11:判断函数调用图是否为空,如果为空转步骤12,表示分析划分算法结束,否则转步骤13;步骤12:输出分析的结果;步骤13:判断函数调用图是否连通;步骤14...
曾庆凯支雷磊
文献传递
基于IPv6报头的隐蔽通道分析与防范被引量:6
2009年
研究IPv6基本报头,从网络安全的角度出发,对其中可被用于隐蔽通道载体的字段及其隐蔽通道构建方法进行分析和探讨,在此基础上提出2类构建方法。探讨基于Hop-Limit字段的比特变换隐蔽通道构建方法,分别给出每种方法的通信容量等关键性能指标。对基于IPv6报头的隐蔽通道的防范措施进行讨论。
郭浩然王振兴余冲王倩
关键词:网络安全IPV6协议报头
图灵四级安全操作系统隐蔽通道分析研究被引量:1
2006年
对图灵四级安全操作系统隐蔽通道进行了分析研究,提出了新的隐蔽通道分析方法——增强改进型语义信息流法。该方法具有工作量小、源代码级分析、能排除伪结果、帮助对隐蔽通道进行后续处理等优点。采用该方法对图灵四级安全操作系统隐蔽通道进行了标识,对隐蔽通道带宽进行了计算,并根据不同的安全策略对隐蔽通道进行了适当的处理。其分析结果达到了相关国家标准中第4级安全操作系统的规定。
陆连浩平玲娣潘雪增
关键词:隐蔽通道分析
数据库系统隐蔽通道分析的设计被引量:1
2006年
隐蔽通道概念入手,阐述了隐蔽通道分析在Oracle中的设计思想,讨论了隐蔽通道分析的内容与层次、隐蔽通道的标识方法、隐蔽通道带宽的计算与测量、隐蔽通道的处理,就如何提高Oracle9i安全性能提供了一种途径。
张世明何守才
关键词:数据库安全
高安全级操作系统隐蔽通道分析技术研究
隐蔽通道包括所有可以绕过系统强制访问控制机制的通信机制,隐蔽通道分析是高安全级信息系统设计开发过程中必不可少的组成部分。本文研究了隐蔽通道的标识、带宽计算模型和隐蔽通道处理的问题,取得了下面的成果:第一,提出剪枝规则,并...
朱继峰
关键词:隐蔽通道分析信息流分析回溯搜索有限状态机
文献传递
基于Logic SQL安全数据库的隐蔽通道分析
2006年
Logic SQL数据库是自主研制基于linux的高安全级别安全数据库,本文根据近年来成熟的隐蔽通道分析技术针对Logic SQL安全数据库的隐蔽通道进行分析,从隐蔽通道的标识、带宽的计算、隐蔽通道的处理等方面进行分析。并展望下一步Logic SQL安全数据库的隐蔽通道研究方向。
王保华李丹宁马新强章衡
关键词:安全数据库LOGICSQL隐蔽通道分析
高安全级别安全数据库的隐蔽通道分析
LogicSQL数据库是自主研制的基于Linux的高安全级别安全数据库.对高安全级别安全数据库的隐蔽通道分析,是从隐蔽通道的标识、带宽的计算、隐蔽通道的处理等方面进行的,并以LogicSQL安全数据库的隐蔽通道进行分析...
王保华李丹宁李丹马新强章衡
关键词:安全数据库LOGICSQL隐蔽通道分析
文献传递
高安全级别安全数据库的隐蔽通道分析被引量:1
2006年
LogicSQL数据库是自主研制的基于Linux的高安全级别安全数据库.对高安全级别安全数据库的隐蔽通道分析,是从隐蔽通道的标识、带宽的计算、隐蔽通道的处理等方面进行的,并以LogicSQL安全数据库的隐蔽通道进行分析与处理.最后展望了下一步LogicSQL安全数据库的研究方向.
王保华李丹宁李丹马新强章衡
关键词:安全数据库LOGICSQL隐蔽通道分析

相关作者

王保华
作品数:23被引量:86H指数:4
供职机构:贵州大学计算机科学与信息学院
研究主题:安全数据库 LOGICSQL 强制访问控制 自主访问控制 存取控制模型
李丹宁
作品数:33被引量:67H指数:4
供职机构:贵州科学院
研究主题:安全数据库 强制访问控制 LOGICSQL 信息安全 综合倒排索引
马新强
作品数:90被引量:291H指数:8
供职机构:重庆文理学院
研究主题:强制访问控制 安全数据库 LOGICSQL 信息安全 可信计算
章衡
作品数:10被引量:8H指数:2
供职机构:清华大学信息科学技术学院计算机科学与技术系
研究主题:安全数据库 LOGICSQL 隐蔽通道分析 LOGIC SQL
卿斯汉
作品数:261被引量:3,754H指数:32
供职机构:中国科学院软件研究所
研究主题:网络安全 信息安全 防火墙 计算机网络 操作系统