Indexed by：
Abstract：
提出了一种适应于可信计算平台系统设计的抽象模型,该模型借鉴信息流的基本无干扰理论,利用进程代数和逻辑推理方法,将系统抽象为进程、动作、状态和输出,形式化地定义了进程运行可信,给出进程运行可信的条件和性质,推出进程运行可信隔离定理,在进程运行可信基础上给出系统运行可信的定义,并证明了系统运行可信判定定理.该模型建立在逻辑推理基础上,不依赖于特定的安全机制和实现方法,任何一种符合这个模型的实现方法,都可以达到系统运行可信的目标.
Keyword：
Reprint Author's Address：
Email：
Source ：
通信学报
ISSN： 1000-436X
Year： 2009
Issue： 3
Volume： 30
Page： 6-11
Cited Count：
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： 46
Chinese Cited Count：
30 Days PV： 0
Affiliated Colleges：
