文档名：云计算模式下可信虚拟群体运行时可信证明模型
在生产型信息系统中对一个虚拟机可信证明往往受到所在群体的影响,必须对它所在群体及群体对它被证明个体的影响程度进行考察.现有的德国马普所基于TCCP模型的远程证明方案以及我国辛思远的远程证明方案没有利用充分利用虚拟机个体所在群体的群体特性,并且采用代理式证明模型过分依赖于可信第三方从而导致效率低下.我国可信计算实现了证明方和证明对象的隔离,从体系结构上保证了可信证明的安全性.基于我国可信计算技术,提出了基于可信虚拟群体的“推”式运行时四元可信证明可信模型,并实现了相应的证明协议和形式化分析.
作者：梁鹏 宁振虎 沈昌祥
作者单位：国家信息中心,北京100045;电子政务云集成与应用国家工程实验室,北京100045电子政务云集成与应用国家工程实验室,北京100045;北京工业大学,北京100124
母体文献：第七届全国网络安全等级保护技术大会论文集
会议名称：第七届全国网络安全等级保护技术大会
会议时间：2018年9月29日
会议地点：西安
主办单位：中国电子科技集团公司第三研究所
语种：chi
分类号：G64G41
关键词：云计算 可信虚拟群体 可信证明 安全性分析
在线出版日期：2021年12月15日
基金项目：
相似文献
相关博文
- 文件大小:
- 2.44 MB
- 下载次数:
- 60
-
高速下载
|
|
