信息流安全

作品数：27被引量：54H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：黄海军孙聪陈意云习宁秦保力更多>>
相关机构：中国科学技术大学西安电子科技大学华中科技大学中国科学院软件研究所更多>>
相关期刊：《技术与创新管理》《航空计算技术》《中国电子商务》《信息工程大学学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家科技重大专项更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于接口精化的广义无干扰性研究被引量：2
《计算机研究与发展》2015年第7期1631-1641,共11页孙聪 习宁 高胜 张涛 李金库 马建峰 
长江学者和创新团队发展计划项目(IRT1078);国家自然科学基金委员会--广东联合基金重点基金项目(U1135002);国家科技重大专项基金项目(2011ZX03005-002);国家自然科学基金项目(61303033;61272398);陕西省自然科学基础研究计划项目(2013JQ8036);中央高校基本科研业务费专项资金项目(JB140309);航空科学基金项目(2013ZC31003;20141931001)
在复杂构件化软件的设计和实现过程中,由于安全属性的可组合性难以实现,使得系统整体的安全需求难以得到有效保证,因而安全属性的规约和验证问题是构件化软件开发过程中关注的关键问题.针对当前构件化软件设计过程中,信息流安全属性仅...
关键词：信息流安全 无干扰性 接口自动机 精化 构件化设计 
广义不可推断属性符号化算术验证的研究被引量：1
《计算机研究与发展》2012年第12期2591-2602,共12页周从华 吴海玲 鞠时光 
国家自然科学基金项目(61003288;61111130184;60773049);江苏省自然科学基金项目(BK2010192);教育部博士学科点专项科研基金项目(20093227110005)
多级安全系统中机密数据的泄漏本质上是信息的非法流动.广义不可推断属性刻画了不同安全级主体之间合法的信息流动.在系统应用之前,验证其满足广义不可推断属性,可以排除各种隐蔽数据泄漏,保护数据的机密性.传统的广义不可推断属性验证...
关键词：广义不可推断属性 信息流安全 量化布尔公式 多级安全系统 隐通道 
基于ptSPA的概率时间信息流安全属性分析被引量：2
《计算机研究与发展》2011年第8期1370-1380,共11页李超 殷丽华 郭云川 
国家"九七三"重点基础研究发展计划基金项目(2007CB311100);国家"八六三"高技术研究发展计划基金项目(2009AA01Z438);国家自然科学基金项目(61070186;61063002)
基于进程代数的无干扰性分析是分析信息流安全性质的主要方法.为考虑概率时间配置下的信息泄漏,对安全进程代数进行概率时间域上的扩展,提出概率时间安全进程代数ptSPA,给出其形式化语法及语义,引入概率时间弱互拟等价的概念,在此基础上...
关键词：信息流分析 安全属性 进程代数 无干扰 隐蔽通道 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部