高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
基于DTE策略的安全域可信隔离模型
作者：
摘要：
安全域隔离技术是构造可信系统的基本技术之一.本文运用可信计算的思想,在现有的安全域隔离模型的基础上,定义了安全域间信任关系,提出了域间可信通信的可信管道机制,给出了安全域可信隔离模型的可信性状态,构建并形式化描述了基于DTE策略的安全域可信隔离模型,提供了验证模型可信的形式化分析方法,为安全域的可信隔离技术的实现和验证奠定了基础.
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
1999，计算机学报
2021，计算机科学
2009，电子学报
2013，计算机研究与发展
来源 ：
中国电子商情·通信市场
ISSN： 1006-6675
年份： 2010
期： 5
页码： 86-93
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： 1
中文被引频次：
近30日浏览量： 2
归属院系：
全文获取
外部链接：
