%0 Journal Article %A 曹利峰 %A 陈性元 %A 杜学绘 %A 邵婧 %T 基于无干扰理论的分布式多级安全核心架构 %D 2013 %R 10.3724/SP.J.1087.2013.00712 %J 计算机应用 %P 712-716 %V 33 %N 03 %X 为了提高分布式环境下多级安全实施的正确性和可行性,提出了一个分布式多级安全保护核心架构——分布式可信计算基(DTCB)。DTCB具有三层结构,包括系统层可信计算基、模块层可信计算基和分区层可信计算基,实现了从模块间、分区间到分区内部的逐步细化的信息流和访问控制,有效降低了分布式环境下多级安全实施的复杂性。最后,采用组合无干扰模型形式化证明了DTCB的安全性,结果表明,DTCB能够从整体上为分布式系统提供较好的多级安全保护。 %U http://www.joca.cn/CN/10.3724/SP.J.1087.2013.00712