[论文解读] Oblivious RAM Simulation with Efficient Worst-Case Access Overhead

Michael T. Goodrich, Michael Mitzenmacher+2 more|arXiv (Cornell University)|Jul 25, 2011

Cryptography and Data Security参考文献 12被引用 6

一句话总结

本文提出了一种去摊销化的不经意RAM（ORAM）模拟方法，其最坏情况访问开销与现有方案的摊销开销相匹配。通过引入分层缓存与周期性表重建机制，并采用固定请求调度，该方法确保每次访问的最坏情况访问次数仅为O(log n)或O(√n log² n)，消除了不可预测的延迟尖峰，同时在云存储环境中保持了隐私性。

ABSTRACT

Oblivious RAM simulation is a method for achieving confidentiality and privacy in cloud computing environments. It involves obscuring the access patterns to a remote storage so that the manager of that storage cannot infer information about its contents. Existing solutions typically involve small amortized overheads for achieving this goal, but nevertheless involve potentially huge variations in access times, depending on when they occur. In this paper, we show how to de-amortize oblivious RAM simulations, so that each access takes a worst-case bounded amount of time.

研究动机与目标

• 解决现有不经意RAM（ORAM）方案中不可预测的最坏情况访问开销问题，其开销可能达到Ω(n)，从而阻碍其在实时系统和多用户系统中的应用。
• 设计一种去摊销化的ORAM构造，使其保持与先前方案相同的摊销访问开销，但为每次请求提供有界最坏情况性能保证。
• 通过确保访问模式独立于访问历史，实现对状态无关和状态相关场景的实用化部署。
• 通过确保任何访问模式均不泄露数据访问语义信息，维持强隐私保证——即不经意性。
• 在不依赖随机函数等密码学假设的前提下实现上述目标，支持状态无关与状态相关客户端模型。

提出的方法

• 该方法采用具有多级Cuckoo哈希表的分层ORAM结构，其中第i级存储最多2^(i-1)q个条目，并在每2^(i-1)q次请求后重建一次。
• 客户端维护一个当前缓存（Ccur）、一个前一缓存（Cprev）、一个储藏（S），以及每级两个表：Ti（活动表）和T'i（备份表），其中T'i在重建期间使用。
• 重建基于全局请求计数器对q取模进行调度，确保每个表在固定时间间隔内重建，从而保持访问模式固定且可预测。
• 每次请求后，系统检查是否在任何层级需要重建；若需要，则根据状态将数据从工作表T^W_i复制到Ti或T'i，并合并储藏以保持一致性。
• 客户端的私有内存为O(n^τ)，其中τ > ν，ν来自原始ORAM构造，从而支持高效的有状态操作。
• 所有对缓存和表的访问均为不经意的，因为它们被完整扫描并完整重写，防止通过访问频率或位置泄露信息。

实验结果

研究问题

• RQ1 我们能否在不经意RAM中实现最坏情况有界访问开销，同时与现有方案的摊销效率保持一致？
• RQ2 如何调度表重建以消除摊销效应，同时不泄露访问模式？
• RQ3 我们能否在确保任一表中每个数据项每请求仅被访问一次的前提下维持不经意性？
• RQ4 去摊销化ORAM实现最坏情况保证所需的最小客户端内存开销是多少？
• RQ5 去摊销化ORAM能否实现为无状态或有状态，这对其性能与隐私有何影响？

主要发现

• 所提出的去摊销化log n分层ORAM实现每请求O(log n)的最坏情况访问开销，与其实现的摊销开销一致。
• 去摊销化平方根ORAM变体实现每请求O(√n log² n)的最坏情况访问开销，与原始方案的摊销成本一致。
• 该方法确保在任一表中，每个数据项每请求仅被访问一次，通过完整表扫描与固定重建计划维持了不经意性。
• 系统在服务器端保持O(n)空间开销，并使用O(n^τ)的私有客户端内存（τ > ν），支持高效的有状态操作。
• 所有数据结构——缓存、储藏与表——的访问模式均为不经意的，因为它们以完整且预定的方式访问，且不依赖于数据。
• 该构造支持有状态与无状态部署，后者通过独立于客户端状态调度重建实现，确保多用户兼容性。