Journal of Computer Applications ›› 2020, Vol. 40 ›› Issue (7): 1983-1988.DOI: 10.11772/j.issn.1001-9081.2020010091

• Cyber security • Previous Articles     Next Articles

Privacy-preserving determination of integer point-interval relationship

MA Minyao1,2, WU Lian1,2, LIU Zhuo1,2, XU Yi1,2   

  1. 1. School of Mathematics and Big Data, Guizhou Education University, Guiyang Guizhou 550018, China;
    2. Key Laboratory of Cyberspace Security, Guizhou Education University, Guiyang Guizhou 550018, China
  • Received:2020-02-04 Revised:2020-04-21 Online:2020-07-10 Published:2020-06-05
  • Supported by:
    This work is partially supported by the Science and Technology Foundation Project of Guizhou Province (QianKeHeJiChu[2016]1115, QianKeHeJiChu[2019]1249), the Award and Subsidy Project of Ministry of Science and Technology and NSFC (QianKeHePingTaiRenCai[2017]5790-09), the Youth Science and Technology Talent Project of Guizhou Provincial Education Department (QianJiaoHe-KY-Zi[2017]210, QianJiaoHe-KY-Zi[2018]260), the Key Disciplines of Guizhou Province-Computer Science and Technology (ZDXK[2018]007), the Key Supported Disciplines of Guizhou Province-Computer Application Technology (QianXueWeiHeZi ZDXK[2016]20), the Construction Project of Computer Science and Technology of Guizhou Education University (GuiShiYuanFa[2018]99).

隐私保护整数点和区间关系判定问题

马敏耀1,2, 吴恋1,2, 刘卓1,2, 徐艺1,2   

  1. 1. 贵州师范学院 数学与大数据学院, 贵阳 550018;
    2. 贵州师范学院 网络空间安全重点实验室, 贵阳 550018
  • 通讯作者: 马敏耀
  • 作者简介:马敏耀(1979-),男,贵州威宁人,副教授,博士,CCF会员,主要研究方向:密码学、信息安全;吴恋(1988-),女,贵州安龙人,副教授,硕士,主要研究方向:深度学习、信息安全;刘卓(1987-),女,河南驻马店人,讲师,博士研究生,主要研究方向:密码学、信息安全;徐艺(1986-),女,贵州石阡人,讲师,博士研究生,主要研究方向:密码学、信息安全。
  • 基金资助:
    贵州省科学技术基金计划项目(黔科合基础[2016]1115,黔科合基础[2019]1249);国家科技部和国家自然科学基金奖励补助项目(黔科合平台人才[2017]5790-09);贵州省教育厅青年科技人才成长项目(黔教合KY字[2017]210,黔教合KY字[2018]260);贵州省省级重点学科“计算机科学与技术”(ZDXK[2018]007);贵州省省级重点支持学科“计算机应用技术”(黔学位合字ZDXK[2016]20);贵州师范学院专业建设项目“计算机科学与技术”(贵师院发[2018]99)。

Abstract: The determination of the relationship between integer point and integer interval in the sense of privacy preserving is an important secure multi-party computation problem, but there are some defects in the existing solutions, such as low efficiency, privacy disclosure, and even possible wrong determination. Aiming at these defects, an improved secure two-party computation protocol for solving this determination problem was constructed. Firstly, analysis of the existing protocols was given and some shortcomings of the protocols were pointed out. Secondly, a new 0-1 coding rule for integer point and integer interval was defined, based on this, a necessary and sufficient condition for an integer point belonging to an integer interval was proved. Finally, by using the necessary and sufficient condition as the determination standard, a secure two-party computation protocol for determining wether the integer point belonging to the integer interval was proposed based on the Goldwasser-Micali encryption system, and its correctness and the security under the semi-honest model were proved. Analysis shows that compared with the existing solutions, the proposed protocol has better privacy preserving feature and will not output wrong results, in addition, both the computation complexity and the communication complexity of the protocol are reduced by about half while the round complexity remains the same.

Key words: point-interval, integer interval, privacy preserving, secure multi-party computation, homomorphic encryption

摘要: 隐私保护地判断整数点和整数区间的属于关系是一类重要的安全多方计算问题,但该问题的现有解决方案存在效率不高、隐私泄露、甚至可能判断错误等缺陷,针对此类不足,构建解决该判定问题的一个安全双方计算协议。首先,分析已有的解决方案并指出不足之处;其次,定义了整数点和整数区间的一种新的0-1编码规则,在此基础上证明了整数点属于整数区间的一个充分必要条件;最后,以此充分必要条件为判定准则,基于Goldwasser-Micali加密体制构建了判断整数点是否属于整数区间的一个安全双方计算协议,并证明了协议的正确性和半诚实模型下的安全性。分析表明,与已有的解决方案相比,所提协议具有更好的隐私保护特性且不会输出错误结果,且在轮复杂度不变的情况下,其计算复杂度和通信复杂度降低了约一半。

关键词: 点和区间, 整数区间, 隐私保护, 安全多方计算, 同态加密

CLC Number: