arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2602.02489cs.ITcs.CRmath.IT
收藏

安全多用户线性可分分布式计算

Secure Multi-User Linearly-Separable Distributed Computing

University of Edinburgh(爱丁堡大学);Institut Polytechnique des Sciences Avancées (IPSA)(高等科学理工学院);EURECOM(欧洲通信学院)

Amir Masoud Jafarpisheh, Ali Khalesi, Petros Elia

AI总结:

本文提出了一种安全多用户线性可分分布式计算框架,通过将计算问题转化为稀疏矩阵分解问题,实现低开销的并行化,同时保障信息论安全。

摘要:

引入新的多用户线性可分分布式计算框架,展示了如何通过并行处理用户来获得较大的并行化收益,同时保持较低的计算和通信成本。这些收益源于将计算问题转化为稀疏矩阵分解问题;矩阵F描述用户请求,分解为F=DE,其中γ-稀疏的E定义了N个服务器的任务分配,δ-稀疏的D定义了N个服务器和K个用户之间的连接以及解码过程。尽管这种方法提供了接近最优的性能,但其线性性质引发了数据安全问题。我们采用信息论安全框架,要求每个用户仅学习其自身请求的功能。主要结果提供了(i)必要条件,即对于每个观察α_k个服务器响应的用户k,该用户可见的共同随机性必须跨越一个维度大于α_k-1的子空间,以及(ii)必要且充分条件,即从D中移除由用户观察的服务器对应的列后,剩下的矩阵秩至少为K-1。基于这些条件,我们设计了一种通用、成本保持的保密性强制转换方案,适用于有限和实数域,通过将E附加一个Null(D)的基并精心注入共享随机性。该方案保持通信和计算成本,保证在有限域上的完美信息论安全,并在实数情况下提供一个可任意减小的互信息界。

英文摘要:

The introduction of the new multi-user linearly-separable distributed computing framework, has recently revealed how a parallel treatment of users can yield large parallelization gains with relatively low computation and communication costs. These gains stem from a new approach that converts the computing problem into a sparse matrix factorization problem; a matrix \(\mathbf{F}\) that describes the users' requests, is decomposed as \(\mathbf{F} = \mathbf{DE}\), where a \(γ\)-sparse \(\mathbf{E}\) defines the task allocation across \(N\) servers, and a \(δ\)-sparse \(\mathbf{D}\) defines the connectivity between \(N\) servers and \(K\) users as well as the decoding process. While this approach provides near-optimal performance, its linear nature has raised data secrecy concerns. We adopt an information-theoretic secrecy framework requiring that each user learns nothing more than its own requested function. Our main results provide (i) a necessary condition stating that for each user $k$ observing \(α_k\) server responses, the common randomness visible to that user must span a subspace of dimension greater than \(α_k-1\), and (ii) a necessary and sufficient condition requiring that removing from \(\mathbf{D}\) the columns corresponding to the servers observed by a user leaves a matrix of rank at least \(K-1\). Based on these conditions, we design a general, cost-preserving secrecy-enforcing transformation valid over both finite and real fields, obtained by appending to \(\mathbf{E}\) a basis of \(\mathrm{Null}(\mathbf{D})\) and carefully injecting shared randomness. This scheme preserves communication and computation costs, guarantees perfect information-theoretic secrecy over finite fields, and in the real case yields an explicit mutual-information bound that can be made arbitrarily small by increasing the variance of Gaussian common randomness.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑