无干扰理论

作品数：18被引量：78H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张焕国张兴杜学绘韩臻刘吉强更多>>
相关机构：北京工业大学解放军信息工程大学北京交通大学杭州电子科技大学更多>>
相关期刊：《山东大学学报（理学版）》《电子学报》《网络与信息安全学报》《计算机应用》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划河南省高等学校创新人才培养工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于无干扰理论的信任链传递模型被引量：4
《计算机科学》2016年第10期141-144,181,共5页陈亮 曾荣仁 李峰 杨伟铭 
针对现有的信任链传递模型可用性不强、缺乏将信任链扩展到网络环境的缺点,提出了一种新的基于无干扰理论的信任链传递模型。该模型将系统抽象为进程、动作和执行,从可信根出发,通过度量程序及其动态库完整性来保证进程静态可信;分析交...
关键词：无干扰理论 进程可信 系统运行可信 安全接入可信 
一种基于污点数据传播和无干扰理论的软件行为可信性分析模型被引量：1
《计算机科学》2013年第5期184-188,共5页陈曙 叶俊民 张帆 
中央高校自主科研基金(CCNU11A01012;CCNU11A02007);湖北省自然科学基金(2010CDB04001)资助
以无干扰理论为基础,提出了一种基于污点数据流的软件行为可信分析模型。该模型通过跟踪程序外部输入的污点数据,提取可能引发系统不可信的关键系统调用,并建立污点传播调用序列。利用完整性条件下的污点信息流无干扰模型来判定构成污...
关键词：可信计算 污点分析 无干扰 
一个基于进程保护的可信终端模型被引量：5
《计算机科学》2011年第4期115-117,150,共4页陈菊 谭良 
国家自然科学基金面上项目(60970113);四川省科技厅项目(2008JY0105-2);四川省教育厅项目(07ZA091)资助
针对计算机终端是网络系统中安全风险的根源问题之一,提出了一种新的基于进程保护的可信终端模型。该模型通过进程静态、动态保护和进程间无干扰来判定系统的可信性。进程静态保护的主要功能是确保进程代码和辅助文件的完整性,进程动态...
关键词：无干扰理论 进程保护 可信终端 可信根 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部