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

摘要：

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

关键词：可信、无干扰、进程运行可信、系统运行可信

所属期刊栏目：30

分类号：TP309(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划"973"计划基金资助项目2007CB311100;国家高技术研究发展计划"863"计划基金资助项目2006AA01Z440;北京市科技计划基金资助项目Z07000100720706

在线出版日期：2009-05-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：6-11