无干扰

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多时间无干扰性验证方法
《软件学报》2024年第10期4729-4750,共22页刘乔森 孙聪 魏晓敏 曾荟铭 马建峰 
国家自然科学基金(62272366,61872279);陕西省重点研发计划(2023-YBGY-371);陕西省自然科学基础研究计划(2021JQ-207)。
安全关键嵌入式软件的运行时行为通常具有严格时间约束,对安全属性的执行提出额外要求.针对嵌入式软件的信息流安全保护要求,以及现有安全性验证方法面向单一属性且存在假阳性等问题,首先从现实场景的安全需求出发,提出一种新的时间无...
关键词：无干扰性 时间自动机 精化关系 可达性分析 信息流安全 
软件实时可信度量:一种无干扰行为可信性分析方法被引量：6
《软件学报》2019年第8期2268-2286,共19页张帆 徐明迪 赵涵捷 张聪 刘小丽 胡方宁 
国家自然科学基金(61502438);湖北省自然科学基金(2015CFA061)~~
可信度量作为可信计算“度量、存储、报告”三大核心功能的基础,到目前为止仍未有有效的数学理论以及运行时(runtime)度量方法.其困难在于3点:一是如何建立涵盖不同主流“可信”定义的通用数学模型;二是如何依托数学模型构建运行时可信...
关键词：可信度量 无干扰 行为可信 可信计算 软件安全 
基于广义污点传播模型的操作系统访问控制被引量：7
《软件学报》2012年第6期1602-1619,共18页杨智 殷丽华 段洣毅 吴金宇 金舒原 郭莉 
国家自然科学基金(61070186);国家高技术研究发展计划(863)(2009AA01Z438);国家重点基础研究发展计划(973)(2007CB311100;2011CB311801)
动态调整安全级是目前提高强制访问控制模型可用性的主要途径,它大致包括两类方法.其中,安全级范围方法对主体权限最小化的支持不够,而污点传播方法存在已知隐蔽通道.提出了保护操作系统保密性和完整性的广义污点传播模型(generalized t...
关键词：污点传播 隐蔽通道 通信顺序进程 无干扰 最小权限 信息流控制 操作系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部