基于总和的私人分段会员测试从值完全同态加密
Nirajan Koirala1, Jonathan Takeshita1, Jeremy Stevens1
1University of Notre Dame, Notre Dame, Indiana, USA.
概括
本研究介绍了一个私有分段会员测试 (PSMT) 协议,用于在多个持有者之间对加密数据进行检查. PSMT提供了增强的可扩展性和隐私,优于现有的大规模数据集分析方法.
科学领域:
- 密码学和安全 密码学和安全
- 分布式系统 分布式系统
- 保护隐私的技术 保护隐私的技术
背景情况:
- 现有的隐私协议如PSI,MPSI,PMT和ORAM在需要对多个数据持有人进行加密数据成员身份检查的场景中存在局限性.
- 挑战包括纯文本数据要求,高延迟,关于数据所有权的信息泄露和不可接受的假阳性率.
- 需要一个可扩展和安全的解决方案,用于在细分,加密的数据集中进行私人会员测试.
研究的目的:
- 引入和构建一个名为私人分段会员测试 (PSMT) 的新奇原始.
- 开发一个PSMT协议,通过在整个过程中将数据加密,确保用户隐私.
- 通过提高可扩展性,减少延迟,消除信息泄露和错误阳性来克服先前工作的局限性.
主要方法:
- 开发了一个PSMT协议,使用了近似算术同态加密的值变体.
- 实施了基于总和的新型同型成员身份检查,与传统基于产品的方法不同.
- 确保IND-CPA对隐私侵犯的安全性.
主要成果:
- 该PSMT协议表现出卓越的可扩展性,支持多达4096个数据持有者,远远超过之前的方法 (约. 一百) 一百) 一百).
- 实验结果显示了高效的聚合,一个1024个数据持有者的场景在92.5秒内完成,设置大小为225.
- 随着数据持有者数量的增加,开销成本会最小化,这证实了出色的可扩展性.
结论:
- 拟议的PSMT协议为大规模细分数据集的隐私保护数据分析提供了重大进展.
- 它为现有的PSI和MPSI协议提供了更可用的和更安全的替代方案,特别是在支持方的数量和隐私保证方面.
- 新的基于总结的方法和技术创新使得对大量数据持有人进行高效和私人会员测试成为可能.
相关概念视频
Routh-Hurwitz Criterion II
163
In the application of the Routh-Hurwitz criterion, two specific scenarios can arise that complicate stability analysis.
The first scenario occurs when a singular zero appears in the first column of the Routh table. This situation creates a division by zero issues. To resolve this, a small positive or negative number, denoted as epsilon (∈), is substituted for the zero. The stability analysis proceeds by assuming a sign for ∈. If ∈ is positive, any sign change in the first...
The first scenario occurs when a singular zero appears in the first column of the Routh table. This situation creates a division by zero issues. To resolve this, a small positive or negative number, denoted as epsilon (∈), is substituted for the zero. The stability analysis proceeds by assuming a sign for ∈. If ∈ is positive, any sign change in the first...
163
Routh-Hurwitz Criterion I
116
Consider an electrical power grid, where stability is essential to prevent blackouts. The Routh-Hurwitz criterion is a valuable tool for assessing system stability under varying load conditions or faults. By analyzing the closed-loop transfer function, the Routh-Hurwitz criterion helps determine whether the system remains stable.
To apply the Routh-Hurwitz criterion, a Routh table is constructed. The table's rows are labeled with powers of the complex frequency variable s, starting from the...
To apply the Routh-Hurwitz criterion, a Routh table is constructed. The table's rows are labeled with powers of the complex frequency variable s, starting from the...
116
Second Uniqueness Theorem
945
Consider a region consisting of several individual conductors with a definite charge density in the region between these conductors. The second uniqueness theorem states that if the total charge on each conductor and the charge density in the in-between region are known, then the electric field can be uniquely determined.
In contrast, consider that the electric field is non-unique and apply Gauss's law in divergence form in the region between the conductors and the integral form to the...
In contrast, consider that the electric field is non-unique and apply Gauss's law in divergence form in the region between the conductors and the integral form to the...
945
Norton's Theorem
450
Norton's theorem is a fundamental principle stating that a linear two-terminal circuit can be substituted with an equivalent circuit, which comprises a current source (ⅠN) in parallel with a resistor (RN). Here, ⅠN represents the short-circuit current flowing through the terminals, and RN stands for the input or equivalent resistance at the terminals when all independent sources are deactivated. This implies that the circuit illustrated in Figure (a) can be exchanged with the...
450
Sign Test for Median of Single Population
68
In general, the sign test serves as a nonparametric method to test hypotheses about the median of a single population when the data does not follow a known distribution. This simplicity makes it particularly useful for small sample sizes or when the assumptions of parametric tests cannot be met. The process begins with identifying a null hypothesis, typically stating that the population median equals a specific value. The alternative hypothesis could be that the median is either not equal to,...
68
Sampling Theorem
258
In signal processing, the analysis of continuous-time signals, denoted as x(t), often involves sampling techniques to convert these signals into discrete-time signals. This process is essential for digital representation and manipulation. A critical component in sampling is the train of impulses, characterized by the sampling interval and the sampling frequency. The relationship between these parameters and the original signal's properties dictates the success of the sampling process.
258


