基于DTE策略的安全域可信隔离模型

摘要：

安全域隔离技术是构造可信系统的基本技术之一.本文运用可信计算的思想,在现有的安全域隔离模型的基础上,定义了安全域间信任关系,提出了域间可信通信的可信管道机制,给出了安全域可信隔离模型的可信性状态,构建并形式化描述了基于DTE策略的安全域可信隔离模型,提供了验证模型可信的形式化分析方法,为安全域的可信隔离技术的实现和验证奠定了基础.

关键词： 安全域可信隔离 可信管道 形式化

作者: 陈银镜 蔡勉 司丽敏 郭颖

作者单位: 北京工业大学,计算机学院,北京,100124

会议类型: 国内会议

会议名称: 2010年全国信息技术与应用学术会议

会议地点: 北京

会议语种:中文

页码: 86-93

在线出版日期: 2010-11-10（万方平台首次上网日期，不代表论文的发表时间）