云中数据正确性和完整性的高效验证

J4 ›› 2012, Vol. 34 ›› Issue (4): 167-170.

云中数据正确性和完整性的高效验证

王正飞

(1.湖南商学院计算机研究所,湖南长沙 410205;2.国防科学技术大学计算机学院,湖南长沙 410073)

收稿日期:2011-11-05 修回日期:2012-02-10 出版日期:2012-04-26 发布日期:2012-04-25
基金资助:
湖南省自然科学基金资助项目(10JJ3041)；湖南省哲学社会科学规划基金资助项目(09YBB231)；湖南省科技计划项目(2011GK3174)；湖南省青年骨干教师培养对象资助

An Efficient Verification for Outsourced Data Based on Subtree

WANG Zhengfei

(1.Institute of Computer Science,Hunan Business College,Changsha 410205;
2.School of Computer Science,National University of Defense Technology,Changsha 410073,China)

Received:2011-11-05 Revised:2012-02-10 Online:2012-04-26 Published:2012-04-25

摘要/Abstract

摘要：

云计算模式中，数据存储在云服务器提供商，用户需要验证返回数据的正确性和完整性。高效验证是云计算模式中数据安全研究的重点,针对这个问题，本文提出了一种基于子树(Sub_MB)的验证方法。该方法构建Merkle B树存储相关信息，通过计算最小验证子树验证数据正确性和完整性。与MB、EMB和ASB方法相比，该方法验证效率提高15%左右。

关键词: 云存储, 完整性, 正确性, 验证

Abstract:

In the model of cloud computing, data are stored in the cloud service providers, users need to verify the authectication and completeness of the returned data . Efficient verfication are becoming an important aspect of the cloud computing. We propose an approach based on subtree, that constructs an Merkle B tree to store the related information, and verify the authentication and completeness of data through computing the least validation subtree. In contrast with the previous work such as MB and EMB, this approach increases the verification rate by 15%.

Key words: database outsourced;completenesss;authentictity;verfication

王正飞. 云中数据正确性和完整性的高效验证[J]. J4, 2012, 34(4): 167-170.

WANG Zhengfei. An Efficient Verification for Outsourced Data Based on Subtree[J]. J4, 2012, 34(4): 167-170.

[1]	陈天宇, 李川, 王彦辉. 面向广义Chiplet的高速BGA与PCB传输结构设计[J]. 计算机工程与科学, 2024, 46(06): 976-983.
[2]	张逢, 文斌, 闫一非, 曾昭武, 周伟, . 身份加密多云多副本完整性审计协议[J]. 计算机工程与科学, 2024, 46(03): 453-462.
[3]	赵祉乔, 周理, 荀长庆, 潘国腾, 铁俊波, 王伟征 . 软硬件混合的高效CHI协议分析[J]. 计算机工程与科学, 2024, 46(02): 224-231.
[4]	邓茜, 范广生, 陈立前, 李暾, 王戟. 基于C语言程序分析验证技术的Verilog代码验证方法[J]. 计算机工程与科学, 2023, 45(12): 2146-2154.
[5]	贡维, 李岩, 许泗强, 齐红玉. 电源开关噪声耦合干扰高速信号的分析及优化方法研究[J]. 计算机工程与科学, 2023, 45(10): 1763-1769.
[6]	刘永梅, 王国辉, 关永, 张景芝, 施智平, 董璐. 格林定理的形式化及其初步应用[J]. 计算机工程与科学, 2023, 45(07): 1178-1187.
[7]	白先平, 姚袭欣, 陈香兰, 刘翀, 李曦. 基于时间自动机的AADL端到端流规约验证方法[J]. 计算机工程与科学, 2023, 45(05): 810-819.
[8]	罗莉, 石伟, 何鸿君, 潘国腾, 王蕾, 龚锐. 一种面向IO Die的敏捷验证方法[J]. 计算机工程与科学, 2023, 45(04): 571-576.
[9]	汪铮, 黄容, 吴茂文, 孙寅涵, 孙志刚. OpenEmulator:一种面向TSN芯片验证的联合仿真平台[J]. 计算机工程与科学, 2023, 45(03): 411-419.
[10]	付伟, 谢振杰, 朱婷婷, 任正伟. 基于密文强不可分性的云数据确定性删除方案[J]. 计算机工程与科学, 2023, 45(03): 434-442.
[11]	李宝峰, 黎铁军, 刘勇辉, 马柯帆, 罗煜峰, 姚信安. 56 Gbps高速信号传输系统仿真验证设计[J]. 计算机工程与科学, 2023, 45(02): 228-236.
[12]	寇广岳, 魏国珩, 平源, 刘鹏. RFID安全认证协议综述[J]. 计算机工程与科学, 2023, 45(01): 77-84.
[13]	王雨露, 李飞, 杨震, 黄山, 张罡, 詹曙, . 基于深度前馈神经网络的多因子人体表面积计算模型[J]. 计算机工程与科学, 2023, 45(01): 119-126.
[14]	陈强, 谭林, 王云丽, 肖靖. 工业区块链中基于CUDA的数据并行处理方法[J]. 计算机工程与科学, 2022, 44(12): 2102-2110.
[15]	牛淑芬, 张美玲, 周思玮, 闫森. 面向移动终端的密文可验证属性基可搜索加密方案[J]. 计算机工程与科学, 2022, 44(11): 1941-1950.