[论文解读] Authenticated Append-only Skip Lists

Petros Maniatis, Mary Baker|ArXiv.org|Feb 7, 2003

Cloud Data Security Solutions参考文献 8被引用 13

一句话总结

本文提出了一种认证追加仅限跳表（AASL），一种密码学安全的数据结构，可在分布式系统中实现防篡改、仅追加的日志记录。它允许维护者通过简洁摘要承诺整个序列，并为任意元素的成员身份和位置生成紧凑证明，即使面对恶意维护者也能确保可证明的完整性，防止伪造条目或提供冲突证明。

ABSTRACT

In this work we describe, design and analyze the security of a tamper-evident, append-only data structure for maintaining secure data sequences in a loosely coupled distributed system where individual system components may be mutually distrustful. The resulting data structure, called an Authenticated Append-Only Skip List (AASL), allows its maintainers to produce one-way digests of the entire data sequence, which they can publish to others as a commitment on the contents and order of the sequence. The maintainer can produce efficiently succinct proofs that authenticate a particular datum in a particular position of the data sequence against a published digest. AASLs are secure against tampering even by malicious data structure maintainers. First, we show that a maintainer cannot ``invent'' and authenticate data elements for the AASL after he has committed to the structure. Second, he cannot equivocate by being able to prove conflicting facts about a particular position of the data sequence. This is the case even when the data sequence grows with time and its maintainer publishes successive commitments at times of his own choosing. AASLs can be invaluable in reasoning about the integrity of system logs maintained by untrusted components of a loosely-coupled distributed system.

研究动机与目标

• 解决在松散耦合、彼此不信任的分布式系统中维护可信、防篡改系统日志的挑战，其中无法信任任何中心化权威机构。
• 设计一种可扩展的数据结构，支持对长序列中任意元素的高效、密码学可验证的成员身份证明，即使在长期增长后依然有效。
• 确保恶意维护者无法伪造新条目或对同一序列位置生成冲突证明，从而保持一致性和完整性。
• 提供一种机制，使远程组件仅通过发布的摘要和简洁证明即可验证日志条目的真实性和顺序，而无需信任数据源。

提出的方法

• AASL 使用分层跳表结构，其中每个节点包含一个数据元素和通过交换性哈希函数计算的密码学认证器。
• 跳表的每一层均由哈希链保护，认证器向上游传播，形成代表整个序列的紧凑摘要。
• 成员身份证明通过从根节点遍历至目标元素构建，仅收集验证元素存在及其位置所必需的节点和认证器。
• 推进证明用于验证序列随时间的一致性，确保某一时间点发布的摘要不会被后续证明所矛盾。
• 通过使用抗碰撞哈希函数以及一种防止歧义的证明系统，强制所有验证路径在中间认证器值上达成一致，从而实现密码学安全。
• 该构造确保任何在摘要发布后对数据进行篡改、重排序或插入的操作都会被验证算法检测到，因为这会破坏认证器链的一致性。

实验结果

研究问题

• RQ1 能否设计一种密码学安全、仅追加的数据结构，即使在极长序列中也能实现高效、简洁的成员身份和位置证明？
• RQ2 此类结构能否防止恶意维护者伪造新条目或对同一序列位置生成冲突证明？
• RQ3 该结构能否支持随时间推移的多个独立可验证承诺，确保后续摘要与早期摘要保持一致？
• RQ4 是否可能在保持对篡改行为（甚至包括结构自身维护者）强安全保证的前提下，实现对数规模的证明和高效验证？

主要发现

• AASL 构造提供了一种单向摘要，承诺整个序列的内容和顺序，使远程方能够使用简洁证明验证任意数据元素的完整性。
• 该结构保证恶意维护者无法为在摘要发布后未实际追加到序列中的数据元素生成有效证明。
• 系统防止歧义：维护者无法为同一位置生成两个相互矛盾的有效证明，即使在不同时间点或不同摘要承诺下亦不可行。
• 证明系统确保所有验证路径——成员身份、推进和摘要验证——必须在中间认证器值上达成一致，防止一致性攻击。
• 即使序列无限增长且维护者以任意时间点发布摘要，该安全模型依然成立，长期保持可审计性。
• 性能测量表明，AASL 支持高效的证明生成与验证，且证明大小与序列长度呈对数关系，适用于大规模系统。