云存储环境下基于代数恒等式的低开销动态安全审计协议.pdfVIP

小型微型计算机系统2025年5月第5期

DOI:10.20009/j.cnki,21-1106/TP.2024-0051

JournalofChineseComputerSystemsVol.46No.52025

云存储环境下基于代数恒等式的低开销动态安全审计协议

王睿垚，吴黎兵，张壮壮，霍丽娟，冯佳琪

（武汉大学国家网络安全学院，武汉430072）

E-mail:wangruiyao@whu.edu.cn

摘要：如今为了验证云端数据的完整性，研究者提出了多个数据完整性审计协议.然而，这些协议通常要求用户将数据块、标

签以及一些辅助验证数据外包给云，并使用复杂度较高的加密算法进行验证。这些缺点导致了云服务需要消耗额外的存储开销

和计算开销.针对上述问题，本文提出一种基于代数恒等式的数据持有性证明协议.首先，该协议使用简单的代数运算降低了验

证算法运行的时间开销.其次，云服务提供商仅需存储标签而无需存储原始数据便可响应验证请求.此外，本文方案还可以与其

它文件加密算法相结合进一步增强对数据的隐私保护.然后，本文提出了C-DLIT框架以支持数据动态操作并可实现全局审

计.最后通过理论分析与实验对比，本文证明了该方案既可以保证数据的隐私性，又能够有效抵御恶意攻击.实现结果表明：在

验证执行时间方面，相较于数据持有性证明协议（ProvableDataPossession,PDP）的10-2秒级耗时与数据可恢复性证明协议

(ProofsofRetrievability,PoR)的秒级耗时，本文方案可以把时间减少到2毫秒以内

关键词：安全云存储；基础代数运算；动态数据验证；数据持有性证明

中图分类号：TP393文献标识码：A文章编号：1000-1220(2025)05-1190-09

Low-overheadDynamicSecureAuditingProtocolBasedonAlgebraicIdentitiesinCloud

Storage

WANGRuiyao,WULibing,ZHANGZhuangzhuang,HUOLijuan,FENGJiaqi

(SchoolofCyberScienceandEngineer,WuhanUniversity,Wuhan430072,China)

Abstract:Inordertoverifydataintegrityinthecloud,researchershaveproposedmanydataintegrityauditprotocols.However,these

protocolstypicallyrequireuserstooutsourcedatablocks,tags,andsomeauxiliaryverificationdatatothecloud.Theyalsousecomplex

encryptionalgorithmsforverification.Thesedrawbacksresultincloudservicesrequiringadditionalstorageoverheadandcomputingo-

verhead.Inresponsetotheaboveissues,weproposeanewPDP(ProvableDataPossession)protocolbasedonalgebraicidentities.This

protocolusessimplealgebraicoperationstoreducethetimeoverheadofvalidationalgorithms.Inaddition,cloudserviceprovidersonly

needtostoretagswithoutstoringrawdata.Besides,thisprotocolcanbecombinedwithotherfileencrypt