应用环境

作品数：959被引量：1220H指数：13
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：于正河于希萌马文静蔡冬王巧华更多>>
相关机构：青岛大学中国科学院中兴通讯股份有限公司国家电网公司更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划中国科学院知识创新工程重要方向项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划（2007CB311100）x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
可信应用环境的安全性验证方法被引量：1
《计算机工程》2011年第23期152-154,共3页陈亚莎 胡俊 沈昌祥 
国家"863"计划基金资助重点项目(2009AA01Z437);国家"973"计划基金资助项目(2007CB311100)
针对可信应用环境的安全性验证问题,利用通信顺序进程描述系统应具有的无干扰属性,基于强制访问控制机制对系统中的软件包进行标记,并对系统应用流程建模。将该模型输入FDR2中进行实验,结果证明,系统应用在运行过程中达到安全可信状态,...
关键词：无干扰 通信顺序进程 形式化描述 形式化验证 可信计算 
一种信任链传递模型研究被引量：5
《计算机科学》2011年第9期79-81,107,共4页司丽敏 蔡勉 陈银镜 郭颖 
国家重点基础研究发展计划973(2007CB311100)资助
通过度量应用程序及其动态库的完整性来保障应用的静态可信,并且分析有交互的应用之间的关系,建立了一种信任链传递模型来保障应用运行过程中的动态可信,从而构建可信的应用环境。并基于无干扰理论,将系统抽象为应用程序、动作和状态输...
关键词：动态库 信任链 无干扰 应用环境 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部