云计算环境下的可信接入安全协议研究进展

作     者：张志勇 常亚楠 王剑 向菲 Zhang Zhiyong;Chang Yanan;Wang Jian;Xiang Fei

作者机构：河南科技大学信息工程学院河南47102 

基　　金：国家自然科学基金(No.61003234) 河南省杰出青年基金(No.134100510006) 河南省教育厅科学技术研究重点项目基础研究计划(No.13A520240) 

出 版 物：《网络安全技术与应用》 (Network Security Technology & Application)

年 卷 期：2013年第8期

页      码：112-116页

摘      要：随着云计算的蓬勃发展,越来越多的用户在云端使用计算和存储资源,然而各种安全问题接踵而来。云计算和可信计算技术的融合研究将成为云安全领域的重要趋势,通过设计安全协议来保障整个云计算环境的安全性和可生存性。主要针对在云计算环境下的可信接入安全协议及其形式化证明,进行了归类综述和对比分析,最后指出可信云平台所面临的研究问题。

主 题 词：云计算安全 可信计算 可信接入 安全协议 形式化证明 

学科分类：0839[0839] 08[工学] 

D　O　I：10.3969/j.issn.1009-6833.2013.08.059

馆 藏 号：203119523...