[论文解读] The Melbourne Shuffle: Improving Oblivious Storage in the Cloud

Olga Ohrimenko, Michael T. Goodrich+2 more|arXiv (Cornell University)|Feb 22, 2014

Cryptography and Data Security参考文献 20被引用 5

一句话总结

墨尔本舞步协议提出了一种新颖的不经意存储协议，通过使用随机排列和分桶机制对加密数据进行混淆，增强了云存储中的隐私保护。该协议确保访问模式不会泄露任何关于数据访问模式的信息，实现了每操作O(log n)的均摊I/O效率，且带宽开销较低。

ABSTRACT

We present a simple, efficient, and secure data-oblivious randomized shuffle algorithm. This is the first secure data-oblivious shuffle that is not based on sorting. Our method can be used to improve previous oblivious storage solutions for network-based outsourcing of data.

研究动机与目标

• 解决基于云的不经意存储系统中访问模式泄露的问题。
• 设计一种不依赖可信硬件即可保护数据访问模式隐私的协议。
• 在保持强安全保证的前提下，最小化不经意存储中的I/O和带宽开销。
• 实现高效、可扩展且适用于现实世界云部署的不经意存储。

提出的方法

• 协议将输入数据划分为√n个分桶，并使用排列ρ将元素映射到辅助数组T中的目标存储位置。
• 每个元素被解密，通过ρ(x)/√n计算其在T中的目标分桶，并重新加密后放置到对应分桶中。
• 使用反向映射结构按T中的目标分桶对元素进行分组，从而支持批量更新。
• 通过设置每个分桶的最大元素数（max_elems = p log n）来控制内存和通信成本。
• 分发阶段涉及以max_elems大小的批次读取输入分桶，并使用分布式putRange原语将它们写入T。
• 该协议确保对输入数组和输出数组的访问模式不可区分，从而保持了不经意性。

实验结果

研究问题

• RQ1 能否设计一种实用的不经意存储协议，在保持强隐私保证的同时实现低I/O和带宽开销？
• RQ2 如何高效地执行数据混淆，以隐藏访问模式，防止不受信的云服务器窥探？
• RQ3 在不经意存储系统中，存储、通信和计算成本之间的最优权衡是什么？
• RQ4 该协议能否在保持安全性和性能的前提下，高效扩展至大规模数据集？

主要发现

• 该协议实现了每操作O(log n)的均摊I/O成本，显著优于先前的构造方案。
• 带宽开销被限制在每操作O(p log n)以内，其中p是算法的一个常数参数。
• 通过使用分桶和反向映射机制，实现了批量更新，减少了独立I/O操作的次数。
• 该协议确保对输入和输出数组的访问模式不可区分，满足不经意性的定义。
• 该构造高效且实用，适用于现实世界云存储系统的部署。