应用环境

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

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
可信应用环境的安全性验证方法被引量：1
《计算机工程》2011年第23期152-154,共3页陈亚莎 胡俊 沈昌祥 
国家"863"计划基金资助重点项目(2009AA01Z437);国家"973"计划基金资助项目(2007CB311100)
针对可信应用环境的安全性验证问题,利用通信顺序进程描述系统应具有的无干扰属性,基于强制访问控制机制对系统中的软件包进行标记,并对系统应用流程建模。将该模型输入FDR2中进行实验,结果证明,系统应用在运行过程中达到安全可信状态,...
关键词：无干扰 通信顺序进程 形式化描述 形式化验证 可信计算 
一种信任链传递模型研究被引量：5
《计算机科学》2011年第9期79-81,107,共4页司丽敏 蔡勉 陈银镜 郭颖 
国家重点基础研究发展计划973(2007CB311100)资助
通过度量应用程序及其动态库的完整性来保障应用的静态可信,并且分析有交互的应用之间的关系,建立了一种信任链传递模型来保障应用运行过程中的动态可信,从而构建可信的应用环境。并基于无干扰理论,将系统抽象为应用程序、动作和状态输...
关键词：动态库 信任链 无干扰 应用环境 
一种可信应用环境的构建方法被引量：2
《计算机工程》2010年第19期59-61,64,共4页申永波 蔡勉 胡俊 田健生 
国家"973"计划基金资助项目(2007CB311106)
依据系统应用软件包之间的依赖关系,制定安全标记规则并提出一种应用软件包标记算法,对应用软件包进行分级分类,形成一种应用的层次式结构。利用该层次结构,采用强制访问控制机制和可信计算技术,实现应用层次之间的隔离,减少或消除应用...
关键词：标记 强制访问控制 可信计算技术 隔离 
基于应用协议的应用环境隔离安全系统
《计算机应用》2004年第8期113-116,共4页盛可军 刘吉强 
国家 973计划项目 (G1 9990 3580 1 ) ;国家 863计划项目 (2 0 0 2AA1 4 4 0 2 0 )
提出了以安全管理中心和密码中心为基础、以用户真实身份认证为核心、以访问权限检验为手段的应用环境隔离安全体系结构。在给出三个系统安全公理的基础上 。
关键词：应用环境 隔离 访问控制 安全体系结构 应用区域边界 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部