具有灵活性的指定验证者云审计方案.pdfVIP

第４２卷第４期计算机应用与软件Ｖｏｌ４２Ｎｏ．４

２０２５年４月ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅＡｐｒ．２０２５

具有灵活性的指定验证者云审计方案

１２，３

赵巨涛常金勇

１（长治学院数学系山西长治０４６０１１）

２（西安建筑科技大学信息与控制工程学院陕西西安７１００５５）

３（中国科学院信息工程研究所信息安全国家重点实验室北京１０００９３）

［１３］

摘要在最近的研究工作中，Ｙａｎ等设计了一个具有指定验证者的云审计协议。研究发现，Ｙａｎ等的协议

具有很高的通信冗余。为了降低这一通信冗余，提出一种具有灵活性的改进方案，该方案将多个数据段对应的标

签进行“聚合”，从而可以极大地减少通信冗余。同时，基于计算性的ＤｉｆｆｉｅＨｅｌｌｍａｎ假设给出了改进方案的安全

性证明。通过具体实例展示了改进后的方案在整体通信冗余上比Ｙａｎ等的协议有明显降低。

关键词云审计方案指定验证者随机谕言机模型云存储

中图分类号ＴＰ３文献标志码ＡＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０２５．０４．０４７

ＦＬＥＸＩＢＬＥＣＬＯＵＤＡＵＤＩＴＩＮＧＳＣＨＥＭＥＷＩＴＨＡＤＥＳＩＧＮＡＴＥＤＶＥＲＩＦＩＥＲ

１２，３

ＺｈａｏＪｕｔａｏＣｈａｎｇＪｉｎｙｏｎｇ

１（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＣｈａｎｇｚｈｉＵｎｉｖｅｒｓｉｔｙ，Ｃｈａｎｇｚｈｉ０４６０１１，Ｓｈａｎｘｉ，Ｃｈｉｎａ）

２（ＳｃｈｏｏｌｏｆＩｎｆｏｒｍａｔｉｏｎａｎｄＣｏｎｔｒｏｌＥｎｇｉｎｅｅｒｉｎｇ，Ｘｉ’ａｎＵｎｉｖｅｒｓｉｔｙｏｆＡｒｃｈｉｔｅｃｔｕｒｅａｎｄＴｅｃｈｎｏｌｏｇｙ，Ｘｉ’ａｎ７１００５５，Ｓｈａａｎｘｉ，Ｃｈｉｎａ）

３（ＴｈｅＳｔａｔｅＫｅｙＬａｂｏｒａｔｏｒｙｏｆＩｎｆｏｒｍａｔｉｏｎＳｅｃｕｒｉｔｙ，ＩｎｓｔｉｔｕｔｅｏｆＩｎｆｏｒｍａｔｉｏｎＥｎｇｉｎｅｅｒｉｎｇ，ＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉｅｎｃｅｓ，Ｂｅｉｊｉｎｇ１０００９３，Ｃｈｉｎａ）

［１３］

ＡｂｓｔｒａｃｔＩｎｒｅｃｅｎｔｗｏｒｋ，Ｙａｎｅｔａｌ．ｄｅｓｉｇｎｅｄａｎａｕｄｉｔｉｎｇｐｒｏｔｏｃｏｌｗｉｔｈａｄｅｓｉｇｎａｔｅｄｖｅｒｉｆｉｅｒ．Ｎｏｔｅｔｈａｔ，Ｙａｎｅｔ

ａｌ．ｓｐｒｏｔｏｃｏｌｓｕｆｆｅｒｓｆｒｏｍｇｒｅａｔｃｏｍｍｕｎｉｃａｔｉｏｎｒｅｄｕｎｄａｎｃｙ．Ｉｎｏｒｄｅｒｔｏｒｅｄｕｃｅｉｔ，ａｆｌｅｘｉｂｌｅａｎｄｉｍｐｒｏｖｅｄｓｃｈｅｍｅｉｓ

ｐｒｏｐｏｓｅｄ，ｗｈｉｃｈｔｒｉｅｓｔｏ＂ａｇｇｒｅｇａｔｅ＂ｔｈｅｔａｇｓｏｆｍｕｌｔｉｐｌｅｄａｔａｓｅｇｍｅｎｔｓａｎｄｔｈｕｓｇｒｅａｔｌｙｒｅｄｕｃｅｓｔｈｅｃｏｍｍｕｎｉｃａｔｉｏｎ

ｏｖｅｒｈｅａｄ．Ｍｅａｎｗｈｉｌｅ，ｗｅｇｉｖｅｔｈｅｓｅｃｕｒｉｔｙｐｒｏｏｆｂａｓｅｄｏｎｔｈｅｃｏｍｐｕｔａｔｉｏｎａｌＤｉｆｆｉｅＨｅｌｌｍａｎａｓｓｕｍｐｔｉｏｎ．Ａｃｏｎｃｒｅｔｅ

ｅｘａｍｐｌｅｓｈｏｗｓｔｈａｔｔｈｅｃｏｍｍｕｎｉｃａｔｉｏｎｏｖｅｒｈｅａｄｏｆｔｈｅｉｍｐｒｏｖｅｄｐｒｏｔｏｃｏｌｃａｎｂｅｇｒｅａｔｌｙｒｅｄｕｃｅｄ．

ＫｅｙｗｏｒｄｓＣｌｏｕｄａｕｄｉｔｉｎｇｓｃｈｅｍｅＤｅｓｉｇｎａｔｅｄｖｅｒｉｆｉｅｒＲａｎｄｏｍｏｒａｃｌｅｍｏｄｅｌＣｌｏｕｄｓｔｏｒａｇｅ

用户不常用的数据，从而节约出更多的空间来吸引更

０引