一种具有访问控制的云平台下外包数据流动态可验证方法.pdf

第 40卷 第 2期 计 算 机 学 报 Vol . 40 No . 2 2017 年 2 月 C H IN E S E JO U R N A L O F C O M P U T E R S Feb . 2017 -种具有访问控制的云平台下外包数据流 动态可验证方法 孙 奕 n ’2 陈 性 元 2 杜 学 绘 2 徐 建 2 1 北 京 交 通 大 学 计 算 机 与 信 息 技 术 学 院 北 京 1〇〇〇44) 2 ( 解 放 军 信 息 工 程 大 学 郑 州 450004) 3)( 数 学 工 程 与 先 进 计 算 国 家 重 点 实 验 室 郑 州 450004) 摘要针对云平台下外包数据流不可信、验证范围不可控等问题，该文提出一种具有访问控制的外包数据流动态 可验证方法. 该方法的核心思想是利用任意的H a sh 函数、双陷门H a sh 函数和CP-ABECCipertext Policy-八A b e Based Encryption )算法构成一种具有访问控制的动态可认证数据结构（八C-MTAT ).该可认证结构可以实现对外 包数据流的实时增加、更新和细粒度动态验证. 此外，该可认证数据结构不仅能够验证外包数据流的完整性，还能 够验证数据流序列的正确性. 由于在传统默克尔H ash 树（M H T ) 中引入双陷门H a sh 函数，八O M T A T 的构建过 程可以分为两个阶段：离线阶段和在线阶段. 这样构建八C-M TAT 所需的主要代价可以放在离线阶段完成，大大提 高了八C-M TA T 在线实时构建效率. 该文首先给出八C-M TA T 方案的形式化定义和具体构建算法；然后，对八C- M TA T 方案的安全性进行证明，证明其满足正确性、可验证安全性和访问安全性;最后，分析了方案的实现效率，并通 过实现一个八C-M TA T 原型来评估算法的耗费时间，实验结果显示作者的方案对于外包数据流的验证是高效的和 可行的，而且与现有方案相比，该方案在实时增长、高效更新、可控验证以及对数据流的适应性等方面更有优势. 关键词可认证数据结构；安全外包数据流；访问控制； 整性； 文策略基于属性加密算法；云计算 中图法分类号 TP311 犇[号 10. 11897/SP.J. 1016.2017. 00337 D y n a m ic A u t h e n t i c a t e d M e th o d f o r O u ts o u r c in g D a t a S tr e a m w i t h A c c e s s C o n tr o l in C lo u d SUN Yi 1)，2)，3) CHEN Xing -Yuan2) DU Xue -Hui2)，3) XU Jian2) 1 (.School o f Com puter and Inform a tion Technology , B eijin g JiaoLong U niversity , B eijin g 100044) 2 (T h e P L A Inform a tion Engineering U niversity , Zhengzhou 4