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

• 作者: 司丽敏 蔡勉 郭颖 陈银镜
• 来源期刊: 中国电子商情·通信市场
• 学科: 工学
• 关键词: 安全域可信隔离 可信管道 形式化
• 年，卷（期）: 2010,（5）
• 页码范围: 86-93
• 分类号: TP309
• 字数: 3994字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-6675-B.2010.05.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭颖	北京工业大学计算机学院	6	47	4.0	6.0
2	蔡勉	北京工业大学计算机学院	22	150	8.0	11.0
3	司丽敏	北京工业大学计算机学院	2	9	1.0	2.0
4	陈银镜	北京工业大学计算机学院	2	9	1.0	2.0