私有集合交集协议中的元素唯一性与输入大小限制

立即解锁
发布时间: 2025-09-17 00:50:22 阅读量: 2 订阅数: 14 AIGC
### 隐私集合交集协议中的元素唯一性与输入大小限制 #### 1. AD - PSI - puzzle协议成本分析 AD - PSI - puzzle协议的成本分析如下表所示,括号内为替代协议与原协议不同时的成本: |操作实体|客户端|服务器| | ---- | ---- | ---- | |离线操作| | | |HE.Encryption|n|0| |HE.Decryption|0|(λ + 1)n| |Modular Multiplication|0|0| |Random number generation (in \(Z^*_p\))|0|0| |Random permutations (of length n)|0|0| |Cryptographic hash (input length λn)|0|1| |Cryptographic hash (input length \(\vert M\vert\))|0|n| |Equality check|0|0 (1)| |Involvement check (i.e., if a ∈A)|0|n| |SE.Encryption|0|0 (m)| |SE.Decryption|0|m (0)| |在线操作| | | |HE.Encryption|0|λn| |HE.Decryption|0|0| |Modular Multiplication|0|(λ + R)n| |Random number generation (in \(Z^*_p\))|0|1| |Random permutations (of length n)|0|λ| |Cryptographic hash (input length λn)|0|1| |Cryptographic hash (input length \(\vert M\vert\))|0|m| |Equality check|0|0 (1)| |Involvement check (i.e., if a ∈A)|0|0| |SE.Encryption|0|m (0)| |SE.Decryption|0|0| |通信成本| | | |CHE|(λ + 2)n| | |CSE|m| | |\(\{0, 1\}^κ\)|0 (1)| | |\(\{0, 1\}^{κ'}\)|0 (m)| | |轮数|1 (2)| | 需要注意的是,在PSI文献的常规做法中,不考虑多次执行协议后可能出现的信息泄露问题。例如,客户端故意调整输入元素,若前几轮协议输出为“否”,下一轮输出为“是”,客户端就能知晓最后一轮添加的元素在服务器集合中。不过,这将作为未来的研究方向。 #### 2. 带元素唯一性的PSI变体协议 ##### 2.1 AD - PSI - CA PSI - CA仅输出交集的基数。若客户端使用单个元素作为输入,虽不属于恶意行为,但能得知该元素是否在服务器集合S中,这超出了其应获取的信息范围。若客户端重复使用不同的单个元素进行PSI - CA,甚至能得知交集或整个S(若消息空间足够小)。 为防止这种情况,服务器可限制客户端输入集的最小大小为l,并在计算阶段检查\(\vert C\vert > l\)。但客户端可通过将单个元素复制n次(n > l)绕过此检查,此时PSI - CA结果为“0”或“1”,仍会泄露该元素是否在S中。因此,服务器需要检查客户端输入元素的唯一性,即AD - PSI - Cardinality(AD - PSI - CA)。 AD - PSI - CA的定义与AD - PSI类似,客户端输出为(\(\vert S\vert\), \(\vert S\cap C\vert\))。可通过修改AD - PSI - puzzle协议实现:服务器额外选择一个随机排列π,发送置换后的密文\(\hat{e}_i := e_{R_{\pi(i)}}\)而非\(\hat{e}_i := e_{R_i}\)。由于密文被服务器用R随机化,且客户端不知π,所以客户端无法将\(d_i\)与原始的\(c_i\)匹配。同时,AD - PSI - puzzle保证客户端使用重复输入时,极大概率无法正确解开谜题,只有使用全不同的输入元素时,客户端才能得知\(\vert C\cap S\vert\)。 ##### 2.2 AD - PSI - X PSI - X仅输出两个私有输入集交集是否非空的布尔结果。即便服务器对客户端输入集大小设置下限,客户端使用小输入集仍可能获取比布尔结果更多的信息。若结果为“1”(即存在交集),每个元素在S中的概率为\(1/\vert C\vert\),因此服务器有动机限制客户端输入集大小以降低此概率。 构建AD - PSI - Existence(AD - PSI - X)协议的一种方法是将PoED阶段添加到基于FHE的PSI - X协议中。基于FHE的PSI - X协议的基本思想是对每个元素进行FHE加密,计算C和S中每对元素的差,再将所有差相乘(乘以一个随机数),若有元素对匹配,解密结果为零,即计算\(R\cdot\Pi_{i,j}(c_i - s_j)\)的加密结果。 PoED阶段可轻松添加:服务器在PSI - X步骤前添加洗牌阶段,并使用从谜题派生的密钥对最终消息进行加密,如同PoED - puzzle协议。 ##### 2.3 AD - PSI - DT PSI - DT会传输与交集元素相关的额外数据。当服务器限制客户端输入大小时,元素不足的客户端可能有动机作弊以绕过限制获取数据。AD - PSI with data transfer(AD - PSI - DT)的定义与AD - PSI类似,客户端输出为(\(\vert S\vert\), \(I := S\cap C\), \(\{D_j\}_{s_j\in I}\))。 AD - PSI - DT协议的构建步骤如下: 1. 与AD - PSI - puzzle协议相同,直至对客户端密文进行随机化。
corwn 最低0.47元/天 解锁专栏
买1年送3月
继续阅读 点击查看下一篇
profit 400次 会员资源下载次数
profit 300万+ 优质博客文章
profit 1000万+ 优质下载资源
profit 1000万+ 优质文库回答
复制全文

相关推荐

史东来

安全技术专家
复旦大学计算机硕士,资深安全技术专家,曾在知名的大型科技公司担任安全技术工程师,负责公司整体安全架构设计和实施。
最低0.47元/天 解锁专栏
买1年送3月
百万级 高质量VIP文章无限畅学
千万级 优质资源任意下载
千万级 优质文库回答免费看
立即解锁

专栏目录

最新推荐

【高阶CMK实战】:复杂工艺下动态CMK模型构建的4大挑战与应对策略

![【高阶CMK实战】:复杂工艺下动态CMK模型构建的4大挑战与应对策略](https://media.licdn.com/dms/image/D5612AQE3z2Uo9h0v4w/article-cover_image-shrink_600_2000/0/1697489531148?e=2147483647&v=beta&t=-54zNXVxO-HErCsCRwgfl2O5CQkzE0gh6ZJtQSVgiYE) # 摘要 高阶CMK技术作为衡量制造过程能力的核心工具,正从静态评估向动态化、智能化演进。本文系统阐述了动态CMK模型的理论基础与建模框架,深入解析过程能力指数的数学原理及

移远4G模块网络时延波动调优实战:结合tcpdump与QoS策略的5种性能优化手段

![移远4G模块网络时延波动调优实战:结合tcpdump与QoS策略的5种性能优化手段](https://networkguru.ru/files/uploads/information_12655/wireshark-filtr-po-ip-portu-protokolu-mac02.png) # 摘要 针对移远4G模块在实际应用中面临的网络时延问题,本文系统分析了其成因,涵盖无线信号波动、协议栈开销及业务调度不合理等因素。为实现精准诊断,构建了基于tcpdump与tshark的时延监测体系,结合自动化脚本完成RTT、抖动及异常流量的识别与归因。进一步地,设计并实施了基于Linux T

波浪耗散区设计精髓:UDF驱动阻尼层(Sponge Layer)的4种构建模式与参数优化

# 摘要 本文系统研究了波浪耗散区与阻尼层的物理机制及其在数值模拟中的实现方法,重点探讨了基于用户自定义函数(UDF)驱动的阻尼层理论建模与工程应用。通过构建Navier-Stokes方程中的源项模型,分析了四种典型阻尼函数的数学特性及其对能量耗散效率的影响,并揭示了阻尼区域长度与网格分辨率之间的耦合关系。进一步提出了四种UDF实现模式,涵盖速度反馈、人工粘性增强、松弛耦合与多尺度吸收机制,结合敏感性分析与反射率评估体系优化关键参数。最后通过数值实验验证了不同模式在抑制非物理反射方面的有效性,为高精度流场仿真提供了可靠的技术路径。 # 关键字 阻尼层;UDF;Navier-Stoke

跨模块依赖分析难题破解:基于CodeReader的调用链全景透视4法

![CodeReader:一行一行阅读代码](https://cf4.ppt-online.org/files4/slide/c/cf1HeNXK7jCvJPwayolSxn83q09DsEWgt6U2bz/slide-5.jpg) # 摘要 跨模块依赖的复杂性在现代多语言、微服务架构中日益凸显,导致系统维护难、故障定位慢与重构风险高。本文提出CodeReader核心理念,构建调用链全景的四大透视法:静态语法解析法、动态执行追踪法、语义关联推导法与构建产物反演法,从源码结构、运行时行为、隐式语义和编译产物多维度还原真实依赖关系。通过在多语言项目中的实践,验证了四大方法在依赖提取、可视化、

用户体验飞跃提升:icoFormat响应式UI设计+长时间操作进度反馈最佳实践

![icoFormat](https://static-prod.adweek.com/wp-content/uploads/2020/11/AI-logo-generator-PAGE-2020.jpg) # 摘要 本文系统探讨了响应式UI设计与用户体验之间的核心关系,提出icoFormat设计模式作为实现多端一致性的创新解决方案。该模式基于流体网格、断点设计与设备无关性原则,结合图标-内容-操作三位一体结构,支持动态缩放与语义层级保持。研究进一步构建了面向长时间操作场景的用户反馈机制,涵盖确定性进度条、不确定性指示器及多阶段任务状态管理,并在前端架构中实现与icoFormat的深度融

Eterm故障排查全景图:从TCP层到应用层逐级诊断的8步精准定位法

![Eterm故障排查全景图:从TCP层到应用层逐级诊断的8步精准定位法](https://study.com/cimages/videopreview/how-star-bus-ring-and-mesh-topology-connect-computer-networks-in-organizations1_101949.jpg) # 摘要 Eterm作为关键终端通信系统,其稳定性依赖于网络、传输与应用层的协同工作。本文构建了以分层诊断为核心的故障排查框架,系统阐述了从TCP连接异常、中间链路干扰到应用层协议行为失常的全链路问题识别方法。通过深入分析三次握手失败、防火墙静默丢包、负载

多通道RS编解码系统设计:基于多个rs_decoder_ipcore并行架构的3种实现方案

# 摘要 本文围绕多通道RS编解码系统的设计与优化展开,系统阐述了RS码的数学基础、编码机制及解码算法核心流程,重点分析了Berlekamp-Massey算法、Chien搜索与Forney公式的实现原理,并深入剖析了rs_decoder_ipcore的功能模块与可配置性。针对多通道并行需求,对比了完全独立架构、共享控制逻辑结构及分时复用流水线混合架构的设计策略与性能权衡。在FPGA硬件平台上,研究了多IP核布局布线、数据通路优化与功耗资源调优等协同优化技术,提升了系统吞吐量与能效比。通过搭建误码率测试平台验证了系统的纠错能力,并探讨了其在卫星通信与高速光纤链路中的应用前景及未来向动态重构与

CatBoost深度应用揭秘:自动处理类别特征,提升模型鲁棒性的4个关键实践

![CatBoost深度应用揭秘:自动处理类别特征,提升模型鲁棒性的4个关键实践](https://www.kdnuggets.com/wp-content/uploads/c_hyperparameter_tuning_gridsearchcv_randomizedsearchcv_explained_2-1024x576.png) # 摘要 CatBoost作为一种高效的梯度提升决策树模型,凭借其独特的有序目标编码与偏差校正机制,在处理高基数类别特征时表现出卓越的性能与稳定性。本文系统解析了CatBoost的核心机制,重点阐述其在类别特征自动编码方面的创新技术,包括目标均值编码的平滑

点云分块加载技术揭秘:实现海量数据流式处理的3种Chunking策略

![点云分块加载技术揭秘:实现海量数据流式处理的3种Chunking策略](https://media.licdn.com/dms/image/C4D12AQEjoQB34GzrLA/article-cover_image-shrink_600_2000/0/1541430091613?e=2147483647&v=beta&t=_9JiL1Jukm5dS67TvokG3_Jqs9nmSL2sE54flNjCps4) # 摘要 点云数据的高效管理与实时加载在三维可视化、自动驾驶和数字孪生等应用中至关重要。本文系统阐述了点云分块加载技术的理论基础与实现路径,涵盖从传统空间索引结构到智能语义

台达ASDA-AB通讯接口配置(RS485_MODBUS):远程监控搭建的6步黄金流程

![台达ASDA-AB通讯接口配置(RS485_MODBUS):远程监控搭建的6步黄金流程](http://tsingsense.top:8050/_images/rs422_hw_ref.jpg) # 摘要 本文围绕台达ASDA-AB伺服系统与MODBUS通信技术展开系统性研究,重点探讨基于RS485的MODBUS RTU协议在工业控制中的实际应用。文章从协议机制、物理层设计到地址映射规则进行了理论分析,详细阐述了硬件连接、电气配置及上位机通信参数匹配等实践环节,并通过调试工具验证通信稳定性与数据交互可靠性。在此基础上,实现了基于Python/C#的远程监控系统集成,提出了超时重试、断