返回
Universally Composable Almost-Everywhere Secure Computation
DOI:10.1007/s00145-025-09565-2.png)
摘要
En 中文
现有关于安全多方计算(MPC)的大部分工作忽视了现代通信网络的一个关键特性,即任意两个节点之间只有有限数量的通信路径,其中许多路径甚至可能被篡改。在信息论设置下,该问题尤为突出,因为缺乏可信设置(及其启用的密码学原语)使得在稀疏网络上进行通信更具挑战性。Garay和Ostrovsky[EUROCRYPT'08]关于“几乎处处MPC”(AE-MPC)的工作,为在如此不完整的网络上进行MPC引入了最佳可能的安全属性,其中必然会有一些诚实方被排除在计算之外。在本工作中,我们提供了“几乎处处安全”的通用组合定义,这使我们能够在Canetti的通用组合(UC)框架下自动且准确地捕捉AE-MPC(以及AE-通信,安全通信的最佳可能安全版本)的保证。我们的结果首次提供了对该重要但研究不足问题的模拟基础处理,并首次提供了AE-MPC的模拟基础证明。为了实现这一目标,我们提出并证明了一个通用组合定理,该定理精确说明了当协议的混合组件被替换为几乎处处组件时,所获得的AE-安全级别或质量。
Keyword:
Secure multi-party computation
Universal composability
Almost-everywhere secure computation
Sparse graphs
Secure message transmission
期刊
J
IF:
2.2
论文数:
29
被引数:
2.5K

