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

被引：4

作者：

张志勇

常亚楠

王剑

向菲

机构：

[1] 河南科技大学信息工程学院

来源：

网络安全技术与应用 | 2013年 / 08期

关键词：

云计算安全; 可信计算; 可信接入; 安全协议; 形式化证明;

D O I：

暂无

中图分类号：

TP393.08 [];

学科分类号：

0839 ; 1402 ;

摘要：

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

引用

收藏

页码：112 / 116

页数：5

相关论文

共 16 条

[1] 一种可信计算支持的DRM系统及其安全协议研究 [J].

王剑 ;

张志勇 ;

俞卫华 ;

杨丽君 .

计算机科学, 2013, 40 (06) :103-107

[2] 基于进程代数的TCG远程证明协议的形式化验证 [J].

王勇 ;

方娟 ;

任兴田 ;

林莉 .

计算机研究与发展, 2013, 50 (02) :325-331

[3] 云计算环境下数字媒体分发协议及其安全性证明 [J].

郭迎九 ;

张春光 ;

田立勤 .

系统仿真学报, 2012, 24 (12) :2431-2433+2438

[4] 多媒体社交网络中的数字内容安全分发研究 [J].

张志勇 ;

杨丽君 ;

黄涛 .

计算机科学, 2012, 39 (04) :94-97

[5] 云计算安全问题研究综述 [J].

杨健 ;

汪海航 ;

王剑 ;

俞定国 .

小型微型计算机系统, 2012, 33 (03) :472-479

[6] 云计算研究现状综述 [J].

李乔 ;

郑啸 .

计算机科学, 2011, 38 (04) :32-37

[7] 一种新的安全协议及其串空间模型分析 [J].

皮建勇 ;

杨雷 ;

刘心松 ;

李泽平 .

计算机科学, 2010, 37 (01) :118-121+180

[8] 基于Petri网的数字媒体分发协议的安全性证明 [J].

郭迎九 ;

林闯 ;

尹浩 ;

田立勤 .

电子学报, 2009, 37 (05) :1030-1036

[9] 基于改进认证测试理论的高效安全协议验证算法 [J].

李谢华 ;

高春鸣 .

计算机科学, 2009, 36 (04) :73-76+128

[10] 安全协议验证的归纳方法与串空间形式化比较 [J].

乔海燕 .

计算机研究与发展, 2008, (S1) :137-142