司丽敏

作品数：2被引量：5H指数：1
导出分析报告
供职机构：北京工业大学计算机学院更多>>
发文主题：应用环境DTE形式化信任链传递动态库更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《中国电子商情（通信市场）》《计算机科学》更多>>
所获基金：国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种信任链传递模型研究被引量：5
《计算机科学》2011年第9期79-81,107,共4页司丽敏 蔡勉 陈银镜 郭颖 
国家重点基础研究发展计划973(2007CB311100)资助
通过度量应用程序及其动态库的完整性来保障应用的静态可信,并且分析有交互的应用之间的关系,建立了一种信任链传递模型来保障应用运行过程中的动态可信,从而构建可信的应用环境。并基于无干扰理论,将系统抽象为应用程序、动作和状态输...
关键词：动态库 信任链 无干扰 应用环境 
基于DTE策略的安全域可信隔离模型
《中国电子商情（通信市场）》2010年第5期86-93,共8页陈银镜 蔡勉 司丽敏 郭颖 
安全域隔离技术是构造可信系统的基本技术之一。本文运用可信计算的思想，在现何的安全域隔离模型的幕础上，定义了安全域间信任关系，提出了域间可信通信的可信管道机制，给出了安全域可信隔离模型的可信性状态，构建并形式化描述了基...
关键词：安全域可信隔离 可信管道 形式化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部