可审计寄存器仿真
分布式、并行与集群计算
2020-05-19 v2
摘要
数据泄露的广泛流行放大了审计存储系统的重要性。在这项工作中，我们开创了对可审计存储仿真的研究，其提供审计员报告寄存器中先前已执行读操作的能力。我们精确定义了可审计寄存器及其属性的概念，并针对存在故障存储对象时的可审计存储仿真建立了紧界与不可能性结果。我们的形式化考虑可记录读写的寄存器，其利用信息分散安全地存储数据并支持快速读取。在此情形下，给定故障存储对象的最大数量 f 与恢复存储值所需的最小数据块数量 τ，我们证明：(1) 若 τ ≤ 2f 则审计性不可能实现；(2) 实现弱形式审计性要求 τ ≥ 3f+1；(3) 强形式审计性不可能实现。我们还表明，对读请求进行签名可克服弱审计性的下界，而全序化操作或使用非快速读取则能够实现强审计性。
引用
@article{arxiv.1905.08637,
title = {Auditable Register Emulations},
author = {Vinicius V. Cogo and Alysson Bessani},
journal= {arXiv preprint arXiv:1905.08637},
year = {2020}
}
备注
16 pages, 2 figures, 1 algorithm. Improved the model definition, simplified the configuration figures, and added a section about signed reads