吴海玲

作品数：4被引量：1H指数：1
导出分析报告
供职机构：江苏大学计算机科学与通信工程学院更多>>
发文主题：符号化隐通道信息流安全多级安全系统传递性更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机科学与探索》《计算机研究与发展》《中国科学：信息科学》《计算机科学》更多>>
所获基金：国家自然科学基金江苏省高校自然科学研究项目国家教育部博士点基金江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
广义不可推断属性符号化算术验证的研究被引量：1
《计算机研究与发展》2012年第12期2591-2602,共12页周从华 吴海玲 鞠时光 
国家自然科学基金项目(61003288;61111130184;60773049);江苏省自然科学基金项目(BK2010192);教育部博士学科点专项科研基金项目(20093227110005)
多级安全系统中机密数据的泄漏本质上是信息的非法流动.广义不可推断属性刻画了不同安全级主体之间合法的信息流动.在系统应用之前,验证其满足广义不可推断属性,可以排除各种隐蔽数据泄漏,保护数据的机密性.传统的广义不可推断属性验证...
关键词：广义不可推断属性 信息流安全 量化布尔公式 多级安全系统 隐通道 
非传递广义无干扰属性符号化算术验证方法
《中国科学：信息科学》2011年第11期1310-1327,共18页周从华 刘志锋 吴海玲 陈松 鞠时光 
国家自然科学基金(批准号:60773049;61003288);江苏省自然科学基金(批准号:BK2010192);江苏大学高级人才科研启动基金(批准号:07JDG014);江苏省高校自然科学基金(批准号:08KJD520015)资助项目
广义无干扰属性规约了多级安全系统中具有传递性质的安全策略,而对于不满足传递性的策略则无法刻画.文中首先对广义无干扰属性进行扩展,提出了非传递广义无干扰属性的概念,进而可以规约无传递性的安全策略.文中提出了一种可符号化实现...
关键词：非传递广义无干扰属性 量化布尔公式 符号化验证 多级安全 
前向可修正属性算术验证的研究
《计算机科学》2011年第3期97-102,共6页吴海玲 周从华 鞠时光 王基 
国家自然科学基金(60773049);江苏大学高级人才科研启动基金(07JDG014);江苏省高校自然科学基金(08KJD520015);教育部博士点基金(20093227110005)资助
目前验证前向可修正属性的"展开方法"是不完备的,即当"展开定理"的局部条件不满足时,不能判断出系统不满足前向可修正属性。为此,提出一种基于状态转换系统的前向可修正属性验证方法,该方法将前向可修正属性的验证归约为可达性问题,进...
关键词：前向可修正属性 信息流 无干扰 状态转换系统 
面向无传递性安全策略的语法信息流分析方法
《计算机科学与探索》2011年第2期179-192,共14页周从华 刘志锋 吴海玲 陈松 
国家自然科学基金 No.60773049;61003288;江苏省高校自然科学基金No.08KJD520015;江苏大学高级人才科研启动基金No.07JDG014~~
传统的语法信息流分析方法均基于实施机密性安全策略的信息流格模型,而格关系的传递特性使得该方法不能用来分析实施无传递性安全策略的系统的安全性。提出一种新的标识隐蔽信息流的语法信息流分析方法,该方法对实施具有传递性和无传递...
关键词：隐通道 语法信息流分析 访问控制 保密性安全策略 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部