陈幼雷
- 作品数:14 被引量:116H指数:6
- 供职机构:北京工业大学计算机学院更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划湖北省自然科学基金更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 基于进程的无干扰可信模型被引量:29
- 2009年
- 提出了一种适应于可信计算平台系统设计的抽象模型,该模型借鉴信息流的基本无干扰理论,利用进程代数和逻辑推理方法,将系统抽象为进程、动作、状态和输出,形式化地定义了进程运行可信,给出进程运行可信的条件和性质,推出进程运行可信隔离定理,在进程运行可信基础上给出系统运行可信的定义,并证明了系统运行可信判定定理。该模型建立在逻辑推理基础上,不依赖于特定的安全机制和实现方法,任何一种符合这个模型的实现方法,都可以达到系统运行可信的目标。
- 张兴陈幼雷沈昌祥
- 关键词:无干扰
- SQY14安全计算机
- 刘毅张焕国彭涛母国庆覃中平刘玉珍韩勇桥周强涂保峰叶新朱立松陈幼雷孙博
- 该机基于密码技术、访问控制技术、智能IC卡技术,在计算机主板中嵌入具有完全自主知识产权的ESM(Embedded Security Module)嵌入式安全控制模块,作为计算机的安全核心组件,具有安全控制功能、多体制密码...
- 关键词:
- 关键词:计算机
- 网络安全认证技术研究
- 张焕国母国庆刘毅刘玉珍周强孙博彭涛韩勇桥纪海燕何炎松朱立松陈幼雷王张宜郑鹏雷明
- 该机可为客户应用提供可信、可控、安全计算环境。基于密码技术、访问控制技术、智能IC卡技术,在计算机主板中嵌入具有完全自主知识产权的ESM嵌入式安全控制模块,作为计算机的安全核心组件,具有安全控制功能、多体制密码系统、唯一...
- 关键词:
- 关键词:网络安全
- 操作系统可信增强框架研究与实现被引量:7
- 2007年
- 操作系统安全增强技术是解决系统安全问题的有效手段,但无法保证系统基础可信。文章从分析可信和安全关系入手,提出可信增强概念。设计了操作系统可信增强框架,将可信机制和安全功能有机结合进安全体系结构设计中,并对实施和应用进行了研究。
- 陈幼雷黄强沈昌祥
- 可信计算模型及体系结构研究
- 陈幼雷
- 关键词:信息安全计算机体系结构
- 可信计算平台技术研究
- 本文讨论可信计算平台的概念和技术。在此基础上,介绍一种新型安全计算机。这种安全计算机的系统结构和主要技术路线上与美国的可信PC标准是一致的。它适用于电子政务、电子商务及其它对安全性要求高的微机环境
- 张焕国毋国庆刘玉珍陈幼雷王张宜
- 关键词:计算机信息安全可信计算安全计算机
- 文献传递
- 可信计算平台技术研究
- 本文讨论可信计算平台的概念和技术.在此基础上,介绍一种新型安全计算机.这种安全计算机的系统结构和主要技术路线上与美国的可信PC标准是一致的.它适用于电子政务、电子商务及其它对安全性要求高的微机环境.
- 张焕国毋国庆刘玉珍陈幼雷王张宜
- 关键词:计算机信息安全可信计算安全计算机
- 文献传递
- 嵌入式系统研究及实现
- 嵌入式系统是一个软硬结合的整体.实际设计是从底层构建一个嵌入式平台,包括一个嵌入式的硬件模块和一个用于控制的微型嵌入式OS,因此在设计时可以充分考虑其安全性,尤其是硬件架构,软件可靠性及实现等方面.软件和硬件的协同设计又...
- 陈幼雷
- 关键词:嵌入式系统ESM嵌入式OSSOC
- 文献传递
- 基于进程的无干扰可信模型
- 进程代数中将系统抽象为进程、动作和状态输出,而信息流的无干扰原理可用于系统可信性的刻画。本文提出一种基于进程的无干扰可信模型NITMBP(Non—interference Trusted Model Based on P...
- 张兴陈幼雷盖新貌沈昌祥
- 关键词:进程代数
- 文献传递
- 智能卡系统的安全性研究被引量:8
- 2002年
- 从智能卡的逻辑结构和物理特性两个方面分析了卡系统的安全性,并在此基础上抽象出一种安全模型。在此模型中对目前世界上主流的卡攻击技术作了一定的归纳。
- 陈幼雷王张宜张焕国
- 关键词:智能卡系统安全性信息安全