基于进程的无干扰可信模型

• 作者: 张兴 沈昌祥 陈幼雷
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 可信 无干扰 进程运行可信 系统运行可信
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 学术论文
• 页码范围: 6-11
• 页数: 6页
• 分类号: TP309
• 字数: 6491字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2009.03.002

摘要

提出了一种适应于可信计算平台系统设计的抽象模型,该模型借鉴信息流的基本无干扰理论,利用进程代数和逻辑推理方法,将系统抽象为进程、动作、状态和输出,形式化地定义了进程运行可信,给出进程运行可信的条件和性质,推出进程运行可信隔离定理,在进程运行可信基础上给出系统运行可信的定义,并证明了系统运行可信判定定理.该模型建立在逻辑推理基础上,不依赖于特定的安全机制和实现方法,任何一种符合这个模型的实现方法,都可以达到系统运行可信的目标.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈昌祥	北京工业大学计算机学院	37	641	13.0	24.0
2	张兴	解放军信息工程大学电子技术学院	18	185	7.0	13.0
6	陈幼雷	北京工业大学计算机学院	1	45	1.0	1.0