云存储中数据持有性证明模型的设计与分析-计算机应用与软件.pdfVIP

第２９卷第１０期　　　 计算机应用与软件 Ｖｏｌ２９Ｎｏ．１０ ２０１２年１０月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｏｃｔ．２０１２ 云存储中数据持有性证明模型的设计与分析 刘华楠　王世卿 （郑州大学信息工程学院　河南郑州４５００５２） 摘　要　　提出一种云存储环境下的数据持有性证明模型ＣＳＰＤＰ，该模型主要采用抽样检测的概率型验证和同态验证方法。模型 中引入云存储提供商代理ＣＳＰＰ来协助用户与各个云存储提供商进行存储验证交互。该代理拥有三个核心模块：存储分配管理模 块ＳＡＭ、接收／响应挑战模块ＲＲＣＭ和通知／收集证明模块ＮＣＰＭ。对ＣＳＰＤＰ模型的主要算法、工作流程和核心技术进行详细阐 述；并且通过理论和实验两大手段，从安全性、概率型验证、以及开销（存储开销、计算开销和通信开销）等三个方面对ＣＳＰＤＰ模型 进行分析，结果表明ＣＳＰＤＰ是一种高效可行的云环境下数据持有性证明模型。 关键词　　云存储　数据持有性证明　同态验证　概率型验证　云存储提供商代理 中图分类号　ＴＰ３　　　　文献标识码　Ａ ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１２．１０．０５８ ＤＥＳＩＧＮＡＮＤＡＮＡＬＹＳＩＳＯＦＰＲＯＶＡＢＬＥＤＡＴＡＰＯＳＳＥＳＳＩＯＮＭＯＤＥＬＩＮＣＬＯＵＤＳＴＯＲＡＧＥ ＬｉｕＨｕａｎａｎ　ＷａｎｇＳｈｉｑｉｎｇ （ＳｃｈｏｏｌｏｆＩｎｆｏｒｍａｔｉｏｎＥｎｇｉｎｅｅｒｉｎｇ，ＺｈｅｎｇｚｈｏｕＵｎｉｖｅｒｓｉｔｙ，Ｈｅｎａｎ４５００５２，Ｚｈｅｎｇｚｈｏｕ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ｉｎｔｈｉｓｐａｐｅｒ，ｗｅｐｒｏｐｏｓｅａｐｒｏｖａｂｌｅｄａｔａｐｒｏｏｆｍｏｄｅｌｉｎｃｌｏｕｄｓｔｏｒａｇｅ，ＣＳＰＤＰｍｏｄｅｌ．Ｔｈｉｓｍｏｄｅｌｍａｉｎｌｙａｄｏｐｔｓｔｈｅｍｅａｎｓｏｆ ｐｒｏｂａｂｉｌｉｔｙｖｅｒｉｆｉｃａｔｉｏｎｍｅｔｈｏｄａｎｄｈｏｍｏｍｏｒｐｈｉｃｖｅｒｉｆｉｃａｔｉｏｎｍｅｔｈｏｄｉｎｓａｍｐｌｉｎｇｉｎｓｐｅｃｔｉｏｎ．Ｔｈｅｍｏｄｅｌａｌｓｏｉｎｔｒｏｄｕｃｅｓｃｌｏｕｄｓｔｏｒａｇｅｐｒｏｖｉｄｅｒ ｐｒｏｘｙＣＳＰＰｔｏａｓｓｉｓｔｕｓｅｒｓｉｎｉｎｔｅｒａｃｔｉｎｇｓｔｏｒａｇｅｖｅｒｉｆｉｃａｔｉｏｎｗｉｔｈｅａｃｈｃｌｏｕｄｓｔｏｒａｇｅｐｒｏｖｉｄｅｒ．Ｔｈｉｓｐｒｏｘｙｈａｓｔｈｒｅｅｃｏｒｅｍｏｄｕｌｅｓ：ｓｔｏｒａｇｅａｓ ｓｉｇｎｍｅｎｔｍａｎａｇｅｍｅｎｔｍｏｄｕｌｅＳＡＭ；ｒｅｃｅｉｖｉｎｇ／ｒｅｓｐｏｎｄｉｎｇｃｈａｌｌｅｎｇｅｍｏｄｕｌｅＲＲＣＭａｎｄｎｏｔｉｆｉｃａｔｉｏｎ／ｃｏｌｌｅｃｔｉｏｎｐｒｏｏｆｍｏｄｕｌｅＮＣＰＭ．Ｍａｊｏｒａｌ ｇｏｒｉｔｈｍｓ，ｗｏｒｋｆｌｏｗａｎｄｃｏｒｅｔｅｃｈｎｏｌｏｇｙｏｆｔｈｅＣＳＰＤＰｍｏｄｅｌａｒｅｄｅｓｃｒｉｂｅｄｉｎｄｅｔａｉｌ．ＡｎｄｗｅａｌｓｏａｎａｌｙｓｅｔｈｅＣＳＰＤＰｆｒｏｍｔｈｒｅｅａｓｐｅｃｔｓ：ｓｅ ｃｕｒｉｔｙ，ｐｒｏｂａｂｉｌｉｔｙｖｅｒｉｆｉｃａｔｉｏｎ，ａｎｄｏｖｅｒｈｅａｄ（ｓｔｏｒａｇｅ，ｃｏｍｐｕｔａｔｉｏｎａｎｄｃｏｍｍｕｎｉｃａｔｉｏｎ）ｂｙｂｏｔｈｔｈｅｏｒｅｔｉｃａｌｍｅａｎｓａｎｄｅｘｐｅｒｉｍｅｎｔａｌｍｅａｎｓ． ＡｌｌｔｈｅｓｅａｎａｌｙｓｉｓｓｈｏｗｓｔｈａｔｔｈｅＣＳＰＤＰｍｏｄｅｌｉｓａｎｅｆｆｉｃｉｅｎｔａｎｄｆｅａｓｉｂｌｅｐｒｏｖａｂｌｅｄａｔａｐｒｏｏｆｍｏｄｅｌｉｎｃｌｏｕｄｅｎｖｉｒｏｎｍｅｎｔ． Ｋｅｙｗｏｒｄｓ　　Ｃｌｏｕｄｓｔｏｒａｇｅ　Ｐｒｏｖａｂｌｅｄａｔａｐｏｓｓｅｓｓｉｏｎ（ＰＤＰ）　Ｈｏｍｏｍｏｒｐｈｉｃｖｅｒｉｆｉｃａｔｉｏｎ　Ｐｒｏｂａｂｉｌｉｔｙｖｅｒｉｆｉｃａｔｉｏｎ　Ｃｌｏｕｄｓｔｏｒａｇｅｐｒｏｖｉｄ ｅｒｐｒｏｘｙ（ＣＳＰＰ） 模型，它能够以较小的计算开销和通信开销高效地进行数据持 ０　引　言