在安全多方计算(MPC)上的大多数现有工作忽略了现代通信网络的关键特质,即任何两个节点之间的通信路径数量有限,其中许多节点甚至可能被损坏。在信息理论环境中,问题变得尤为严重,在这种情况下,缺乏可信赖的设置(以及他们启用的加密原始图)使得稀疏网络上的沟通更具挑战性。Garay和Ostrovsky [eurocrypt'08]几乎每个人的MPC(AE-MPC)的作品在此类不完整的网络上引入了MPC的“最能力的安全性”属性,在此不一定会将一些诚实的政党从计算中排除。在这项工作中,我们提供了几乎每个地方的安全性的普遍组合定义,这使我们能够自动,准确地捕获AE-MPC的保证(以及AE-Communication(AE-Communication),这是Canetti的通用合并性(UC)框架中类似的“最佳安全性”安全性的“安全通信”版本)。我们的结果提供了对这个重要但不足的问题的首次基于模拟的治疗,以及第一个基于仿真的AE-MPC证明。为了实现这一目标,我们指出并证明了一般组成定理,这使得在协议的混合体被几乎每个地方的组件替换时获得了AE安全的水平或“质量”。
主要关键词