作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2021, Vol. 47 ›› Issue (2): 168-175. doi: 10.19678/j.issn.1000-3428.0057131

• 网络空间安全 • 上一篇    下一篇

一种高效的百万富翁问题协议及其应用

张静, 何铮, 葛炳辉, 汤永利, 叶青   

  1. 河南理工大学 计算机科学与技术学院, 河南 焦作 454000
  • 收稿日期:2020-01-06 修回日期:2020-02-19 出版日期:2021-02-15 发布日期:2020-03-11
  • 作者简介:张静(1978-),女,副教授、博士,主研方向为网络与信息安全、安全多方计算;何铮、葛炳辉,硕士研究生;汤永利,教授、博士;叶青,讲师、博士。
  • 基金资助:
    国家自然科学基金(61802117);河南省高等学校重点科研项目(18B520018,19A520025);河南理工大学创新型科研团队支持计划(T2018-1)。

An Efficient Protocol for Millionaires' Problem and Its Application

ZHANG Jing, HE Zheng, GE Binghui, TANG Yongli, YE Qing   

  1. College of Computer Science and Technology, Henan Polytechnic University, Jiaozuo, Henan 454000, China
  • Received:2020-01-06 Revised:2020-02-19 Online:2021-02-15 Published:2020-03-11

摘要: 百万富翁问题是安全多方计算的基础问题,但现有解决方案计算复杂度高且效率较低,在两数相等时无法进行精确比较。针对该问题,提出一种基于0-1编码的百万富翁问题协议。使用改进的0-1保密数据编码规则构建向量,利用ElGamal同态加密变体算法的同态性质,将百万富翁问题转化为向量中两元素求和的问题,同时在半诚实模型下利用模拟范例证明协议的正确性与安全性,并将其应用于安全两方集合交集个数问题的求解。实验结果表明,与采用ElGamal和Paillier同态加密算法的协议相比,该协议计算复杂度更低且效率更高,可在两数相等时进行准确对比。

关键词: 安全多方计算, 百万富翁问题, 0-1编码, 同态加密, 集合交集个数

Abstract: The existing solutions to the Millionaires' Problem(MP),a basic problem in Secure Multi-Party Computation(SMC),have high computational complexity and low efficiency,and the two numbers can not be compared accurately when they are equal.To solve the problems,this paper proposes a protocol for MP based on 0-1 coding.The improved 0-1 secret data coding rule is used to construct the vector.By using the homomorphic property of the ElGamal homomorphic encryption variant algorithm,the MP is transformed into the sum of two elements in the vector.In the semi-honest model,the simulation examples are used to prove the correctness and security of the protocol,and the protocol is applied to solving the number of intersection sets of two secure parties.Experimental results show that compared with the protocols using ElGamal and Paillier homomorphic encryption algorithms,the proposed protocol has lower computational complexity and higher efficiency,and the two numbers can be compared accurately when they are equal.

Key words: Secure Multi-Party Computation(SMC), Millionaires' Problem(MP), 0-1 coding, homomorphic encryption, number of set intersections

中图分类号: