%0 Journal Article
%T 利用dte技术的证明系统安全域模型研究
%A 施光源
%A 公备
%A 冯聿梦
%A 岳少园
%J 武汉大学学报(信息科学版)
%D 2010
%X ？为了解决证明系统中存在的完整性保护不足的问题,对完整性策略和保护机制进行了研究,提出了一种基于dte技术的证明系统安全域模型。该模型将证明系统按照功能特性划分为若干安全域,并且定义了模型变量以及安全规则。同时,为了确保不同域之间能够安全传输,在模型中引入了可信管道的概念。给出了安全域模型的实现方法和管道协议,并对管道协议进行了安全性分析和证明。
%K 证明系统
%K 安全域
%K 可信管道
%U http://ch.whu.edu.cn/CN/abstract/abstract945.shtml