| 利用DTE技术的证明系统安全域模型研究 |
| |
| 引用本文： | 施光源,公备,冯聿梦,岳少园.利用DTE技术的证明系统安全域模型研究[J].武汉大学学报(信息科学版),2010(5). |
| |
| 作者姓名： | 施光源 公备 冯聿梦 岳少园 |
| |
| 作者单位： | 北京工业大学计算机学院;北京万集科技有限责任公司; |
| |
| 基金项目： | 国家863计划资助项目(2006AA01Z440,2009AA012437); 国家973计划资助项目(2007CB311100); 核安全与仿真技术国防重点学科实验室开放研究基金资助项目(HEUFN0801); 北京工业大学博士创新基金资助项目(bcx-2009-066) |
| |
| 摘 要： | 为了解决证明系统中存在的完整性保护不足的问题,对完整性策略和保护机制进行了研究,提出了一种基于DTE技术的证明系统安全域模型。该模型将证明系统按照功能特性划分为若干安全域,并且定义了模型变量以及安全规则。同时,为了确保不同域之间能够安全传输,在模型中引入了可信管道的概念。给出了安全域模型的实现方法和管道协议,并对管道协议进行了安全性分析和证明。
|
| 关 键 词： | 证明系统 安全域 可信管道 |
A DTE-based Security Domain Model for the Attestation System |
| |
| SHI Guangyuan GONG Bei FENG Yumeng YUE Shaoyuan.A DTE-based Security Domain Model for the Attestation System[J].Geomatics and Information Science of Wuhan University,2010(5). |
| |
| Authors: | SHI Guangyuan GONG Bei FENG Yumeng YUE Shaoyuan |
| |
| Institution: | SHI Guangyuan1 GONG Bei1 FENG Yumeng1 YUE Shaoyuan2(1 School of Computer , Science,Beijing University of Technology,100 Pingleyuan,Chaoyang District,Beijing 100124,China)(2 Beijing Wanji Co.Ltd,14 West Wanshou Road,Haidian District,Beijing 100036,China) |
| |
| Abstract: | In order to solve the problem of lacking protection of integrity in the attestation system,we study the integrity policies and protection mechanism,and present a DTE-based security domain model for the attestation system.The model separates the attestation system into several security domains according to the different functional features,and defines its variables and security regulations related to the attestation system.At the same time,in order to ensure secure transmission between domains,the concept of... |
| |
| Keywords: | attestation system security domain trusted pipeline |
| 本文献已被 CNKI 等数据库收录！ |
|
