陈银镜
- 作品数：6 被引量：5H指数：1
- 供职机构：北京工业大学计算机学院更多>>
- 发文基金：国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 安全操作系统身份鉴别测试方法
- 一种安全操作系统身份鉴别测试方法，包括：用户属性定义子步骤、用户标识定义子步骤、用户鉴别子步骤、用户鉴别反馈子步骤、多用户鉴别子步骤、终止会话子步骤、会话终止后处理子步骤、访问历史子步骤、不可观察性子步骤；其中，终止会话...
- 蔡勉陈银镜刘星李梅娟
- 文献传递
- 基于DTE策略的安全域可信隔离模型
- 安全域隔离技术是构造可信系统的基本技术之一.本文运用可信计算的思想,在现有的安全域隔离模型的基础上,定义了安全域间信任关系,提出了域间可信通信的可信管道机制,给出了安全域可信隔离模型的可信性状态,构建并形式化描述了基于D...
- 陈银镜蔡勉司丽敏郭颖
- 关键词：形式化
- 文献传递
- 应用虚拟隔离的研究
- 应用程序间虚拟隔离是构建可信应用环境的重要途径之一。由于应用程序的来源不同,系统对其的信任程度也不相同,而在同一个系统中运行的应用程序在运行中可能会调用信任度不同的应用程序或组件,低可信度的应用程序在和高可信度的应用程序...
- 陈银镜
- 关键词：可信计算应用程序
- 安全操作系统身份鉴别测试方法
- 一种安全操作系统身份鉴别测试方法，包括：用户属性定义子步骤、用户标识定义子步骤、用户鉴别子步骤、用户鉴别反馈子步骤、多用户鉴别子步骤、终止会话子步骤、会话终止后处理子步骤、访问历史子步骤、不可观察性子步骤；其中，终止会话...
- 蔡勉陈银镜刘星李梅娟
- 文献传递
- 一种信任链传递模型研究被引量：5
- 2011年
- 通过度量应用程序及其动态库的完整性来保障应用的静态可信,并且分析有交互的应用之间的关系,建立了一种信任链传递模型来保障应用运行过程中的动态可信,从而构建可信的应用环境。并基于无干扰理论,将系统抽象为应用程序、动作和状态输出,形式化地定义了应用运行可信,给出应用运行可信的条件和性质,推出应用运行可信定理,并证明了基于该模型的应用环境可信判定定理。
- 司丽敏蔡勉陈银镜郭颖
- 关键词：动态库无干扰应用环境
