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

云计算环境下的可信接入安全协议研究进展 张志勇 常亚楠 王 剑 向 菲 (河南科技大学信息工程学院 河南 47102) 【摘 要】随着云计算的蓬勃发展，越来越多的用户在云端使用计算和存储资源，然而各种安全问题接踵而来。云计算 和可信计算技术的融合研究将成为云安全领域的重要趋势，通过设计安全协议来保障整个云计算环境的安全性和可生存性。 主要针对在云计算环境下的可信接入安全协议及其形式化证明，进行了归类综述和对 比分析，最后指出可信云平台所面临 的研 究问题。 【关键词】云计算安全；可信计算；可信接入；安全协议；形式化证明 中图分类号：TP393．08 文献标识码：A 文章编号：1009—6833(2013)08—112一O2 AdvanceonTrustedConnectionSecurityProtocolsforCloudComputing ZhangZhiyong，ChangYanan，WangJian，XiangFei (InformationEngineeringCollege，HenanUniversityofScienceandTechnology,Henan，471023) Abstract：Alongwiththerapiddevelopmentofcloudcomputing，moreandmoreusersaccesstocomputingandstorage resources．However，avarietyofsecurityissuescomebeing．Thefusionofcloudcomputingandtrustedcomputingtechnologywill becomeanimportanttrendinthefieldofcloudsecurity，protectingthesecurityandsurvivabilityofthecloudcomputingenvironment byusingsecuriyt protocols．Thepapermainlymadeaclassifiedsurvey，andcomparisonandanalysisontrustedconnectionsecurity protocolsandtheirformalismsinthecloudcomputingenvironment，finallyaddressedresearchtopicsonthetrustedcloudplatfoma Keywords：CloudComputingSecuriyt；TrustedComputing；TrustedConnection；SecurityProtocol；Fomr alism 0 前言 随着信息和通信技术的快速发展，计算模式经J力了从最卡』J 云计算是以虚拟化技术为基础 ，以网络为载体提供基础 把任务集中交给大型处理机模式，到后来发展为基于网络 的分 架构、平台、软件等服务为形式，整合大规模可扩展的计算、 布式任务处理模式，再到最近 的按需处理的云计算模式。云计 存储 、数据 、应用等分布式计算资源进行协 同工作的超级计算 算的实质是给用户提供按需计算服务，其 目标是用户通过 络 模式 。在云计算模式下用户不再需要购买复杂的硬件和软件， 能够在任何地点、任何时间最大限度地使用虚拟资源池，处理 只需要支付相应 的费用给 “云计算 ”服务提供商，通过网络就 大规模计算问题 。目前，在学术界和商 界的 同推动 F，云 可 以方便地获取需要的计算、存储等资源。根据 国际数据公司 计算得到了迅速的发展，而随之而来的安伞 问题越来越突IjJ。 (IDC)的预测，全球云计算的市场规模将从2008年 的160亿荚 云计算 中用户将数据存储在云端 ，因而不再拥有Fj己对 元增加~i]2012年的420亿美元，占总投入 比例也将由4．2％上升 数据的完全控制能力，要求云服务商提供有效的安全保障，使 到8．5％。 然而近两年来，云服务提供商和用户之问频频 现 其信任新环境下的数据安全 问