无干扰

作品数：200被引量：213H指数：7
导出分析报告
相关领域：医药卫生更多>>
相关作者：金保昇钟文琪陈玉霞郭勇朱浩更多>>
相关机构：中国科学院陕西四季春清洁热源股份有限公司西门子股份公司华为技术有限公司更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于接口精化的广义无干扰性研究被引量：2
《计算机研究与发展》2015年第7期1631-1641,共11页孙聪 习宁 高胜 张涛 李金库 马建峰 
长江学者和创新团队发展计划项目(IRT1078);国家自然科学基金委员会--广东联合基金重点基金项目(U1135002);国家科技重大专项基金项目(2011ZX03005-002);国家自然科学基金项目(61303033;61272398);陕西省自然科学基础研究计划项目(2013JQ8036);中央高校基本科研业务费专项资金项目(JB140309);航空科学基金项目(2013ZC31003;20141931001)
在复杂构件化软件的设计和实现过程中,由于安全属性的可组合性难以实现,使得系统整体的安全需求难以得到有效保证,因而安全属性的规约和验证问题是构件化软件开发过程中关注的关键问题.针对当前构件化软件设计过程中,信息流安全属性仅...
关键词：信息流安全 无干扰性 接口自动机 精化 构件化设计 
基于加权下推系统优化可达性分析的Java安全信息流研究
《计算机研究与发展》2012年第5期901-912,共12页孙聪 唐礼勇 陈钟 马建峰 
国家科技部重大专项基金项目(2011ZX03005-002);国家自然科学基金项目(60872041);中央高校基本科研业务费基金项目(JY10000903001)
信息流安全的形式化以无干扰性为标准属性.针对目前字节码级的信息流安全分析均未基于对程序无干扰性的语义表示,提出了一种基于语义的无干扰性自动验证方法.为适应语言特性和应用环境的限制,将基本自合成扩展为低安全级记录自合成,以...
关键词：信息流 无干扰性 加权下推系统 自合成 可达性分析 
基于ptSPA的概率时间信息流安全属性分析被引量：2
《计算机研究与发展》2011年第8期1370-1380,共11页李超 殷丽华 郭云川 
国家"九七三"重点基础研究发展计划基金项目(2007CB311100);国家"八六三"高技术研究发展计划基金项目(2009AA01Z438);国家自然科学基金项目(61070186;61063002)
基于进程代数的无干扰性分析是分析信息流安全性质的主要方法.为考虑概率时间配置下的信息泄漏,对安全进程代数进行概率时间域上的扩展,提出概率时间安全进程代数ptSPA,给出其形式化语法及语义,引入概率时间弱互拟等价的概念,在此基础上...
关键词：信息流分析 安全属性 进程代数 无干扰 隐蔽通道 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部