云端数据的完整性及可用性成为亟待解决的问题,基于传统密码方案的云端验证协议一般规约到某个困难问题的难解性。基于格上困难问题目前还没有有效的破解算法,基于格的密码方案,是密码体制研究的1个重要方向。为了应对未来可能发生的量子攻击以及支持云端数据动态验证,利用基于格的线性同态签名方案、默克尔哈希树构建了1个支持公有审计、支持云端文件或数据的插入、删除等动态操作的完整性及可用性验证方案,同时,格上的线性运算保证计算的高效性,可以大大提高验证协议的运行效率。