基础知识
- 曼哈顿距离与绝对值计算;
- 无全集限制和有全集限制;
- Paillier加法同态加密;
- 半可信模型;
- 两个参与方Alice和Bob,Alice生成公私钥对pk和sk,并公布公钥,Bob拥有pk。
- 安全性证明采用两个模拟器分别表征两个参与方的视图。
计算协议
- 隐私绝对值计算协议
计算原理(绝对值转化):
Flow:Alice和Bob都知道|x-y|,Alice知道x不知道y,Bob知道y不知道x。
- 隐私曼哈顿距离计算协议
- 有全集限制下的隐私计算协议
- 无全集限制下,可以取足够大的模N;但随着向量维数n的增加,线性计算复杂性会线性增加;
- 因此考虑一种特殊情况,如果能事先确定参与者数据在某个全集内取值,则可利用编码方法设计绝对值及曼哈顿距离保密计算方案,可以大大降低协议的在线计算复杂性;
- 全集构造
- 编码原理
- 基于全集数据的隐私协议此处不加以描述,可参考文献1。
参考文献
- 2020_计算机学报_保护隐私的曼哈顿距离计算及其推广应用