首页> 中文会议>2010年全国信息技术与应用学术会议 >基于DTE策略的安全域可信隔离模型

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《2010年全国信息技术与应用学术会议》|2010年|86-93|共8页
会议地点北京
作者
陈银镜; 蔡勉; 司丽敏; 郭颖;
展开▼
作者单位

中国电子学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类数据安全;
关键词
安全域可信隔离; 可信管道; 形式化;
入库时间 2022-08-17 10:37:52

相似文献

中文文献
外文文献
专利

1. 基于DTE策略的安全域隔离Z形式模型 [J] . 卿斯汉 ,李丽萍 ,何建波 . 计算机研究与发展 . 2007,第011期
2. 基于安全域和可信基的网络容侵系统模型 [J] . 周志勇 ,唐家益 . 微计算机信息 . 2003,第011期
3. 一种基于Android系统的安全域可信应用方法 [J] . 王文 ,张彩友 ,王志强 . 电子设计工程 . 2018,第018期
4. 基于安全域隔离的嵌入式系统的访问控制机制研究 [J] . 牛文生 ,李亚晖 ,张亚棣 . 计算机科学 . 2013,第0z1期
5. 基于安全域隔离的LAMP服务器安全保护方案 [J] . 丁滟 ,魏立峰 ,富弘毅 . 计算机应用 . 2010,第00z期
6. 利用DTE技术的证明系统安全域模型研究 [C] . 施光源 ,公备 ,冯聿梦 . 2010年第四届中国可信计算与信息安全学术会议 . 2010
7. 基于临时安全域和RBAC策略的网格安全模型的研究与实现 [A] . 苗露 . 2007

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

摘要

著录项

相似文献

相关主题

期刊订阅