基于加法同态加密体制的安全变换相等判定协议

doi:10.13190/j.jbupt.2017.s.031

北京邮电大学学报 ›› 2017, Vol. 40 ›› Issue (s1): 140-144.doi: 10.13190/j.jbupt.2017.s.031

• 论文 • 上一篇

基于加法同态加密体制的安全变换相等判定协议

马敏耀^1,2, 吴恋¹, 陈松良¹, 左羽¹, 汤艳玲³

1. 贵州师范学院数学与计算机科学学院, 贵阳 550018;
2. 贵州师范学院网络空间安全重点实验室, 贵阳 550018;
3. 贵州师范学院教育科学学院, 贵阳 550018

收稿日期:2016-07-05 出版日期:2017-09-28 发布日期:2017-09-28
作者简介:马敏耀(1979-),男,副教授,高级工程师.E-mail:minyaoma2006@163.com.
基金资助:
贵州省科学技术基金计划项目（黔科合基础[2016]1115）；贵州省科技平台及人才团队计划-科普示范基地项目（黔科合平台人才[2017]5501）；贵州省教育厅青年科技人才成长项目（黔教合KY字[2016]220）；贵州师范学院"一体两翼"学科专业发展专项科学研究项目（2016YTLY10）；贵州师范学院2015 年度校级博士课题研究成果（2015BS011）；贵州省教育厅自然科学研究项目（青年项目）（黔教合KY字[2015]425）；2016年度贵州省科技平台及人才团队专项资金项目（黔科合平台人才[2016]5609）

Secure Transformation-Equivalence Determination Protocol Based on Additively Homomorphic Encryption System

MA Min-yao^1,2, WU Lian¹, CHEN Song-liang¹, ZUO Yu¹, TANG Yan-ling³

1. School of Mathematics and Computer Science, Guizhou Education University, Guiyang 550018, China;
2. Key Laboratory of Cyberspace Security, Guizhou Education University, Guiyang 550018, China;
3. School Education Science, Guizhou Education University, Guiyang 550018, China

Received:2016-07-05 Online:2017-09-28 Published:2017-09-28

摘要/Abstract

摘要： 提出一类安全两方计算问题，即安全变换相等问题，研究了如何在保护隐私的前提下，比较有限集合上的两个变换是否相等. 基于具有加法同态性的加密体制，在半诚实攻击模型下构建了解决安全变换相等问题的一个协议，证明了协议是正确的，且协议在半诚实攻击模型下是安全的，并对协议的效率给予了说明.

关键词: 安全多方计算, 同态加密体制, 变换相等, 半诚实攻击模型

Abstract: A new secure two-party computation problem, called secure transformation-equivalence problem, is proposed, which researches how to determine whether two transformations, defined on some finite set, are equivalent in the sense of privacy preserving. Based on additively homomorphic encryption system, a secure transformation-equivalence determination protocol is constructed. It is proved that the protocol is correct, and the protocol is secure under the semi-honest adversary model. Furthermore, the efficient of the protocol is shown.

Key words: secure multiparty computation, homomorphic encryption system, transformation-equivalence, semi-honest adversary model

中图分类号:

TP309

马敏耀, 吴恋, 陈松良, 左羽, 汤艳玲. 基于加法同态加密体制的安全变换相等判定协议[J]. 北京邮电大学学报, 2017, 40(s1): 140-144.

MA Min-yao, WU Lian, CHEN Song-liang, ZUO Yu, TANG Yan-ling. Secure Transformation-Equivalence Determination Protocol Based on Additively Homomorphic Encryption System[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2017, 40(s1): 140-144.

参考文献

[1] Yao A C C. Protocols for secure computations[C]//FOCS'82. Chicago: IEEE, 1982: 80-91.
[2] GoldreichO, Micali S, Wigderson A. How to play any mental game-a completeness theorem for protocols with honest majority[C]//STOC'87. New York: ACM, 1987: 218-229.
[3] Ben-Or M, Goldwasser S, Wigderson A. Completeness theorems for non-cryptographic fault-tolerant distributed computation[C]//STOC'88. Chicago: ACM, 1988: 1-10.
[4] Chaum D, Crépeau C, Damgard I. Multi-party unconditionally secure protocols (extended abstract)[C]//STOC’88. Chicago: ACM, 1988: 11-19.
[5] Rabin T, Ben-Or M. Verifiable secret-sharing and multiparty protocols with honest majority[C]//STOC’89. Seattle: ACM, 1989: 73-85.
[6] Beaver D. Secure multi-party protocols and zero-knowledge proof systems tolerating a faulty minority[J]. Journal of Cryptology, 1991, 4(2): 75-122.
[7] Jakobsson M, Yung M. Proving without knowing: on oblivious, agnostic and blindfolded provers[C]//CRYPTO’96. California: Springer, 1996: 186-200.
[8] IoannidisI, Grama A. An efficient protocol for yao's millionaires' problem[C]//Proceedings of the 36th Hawaii Internatinal Conference on System Sciences. Hawaii: (s.n.), 2003: 205-210.
[9] BlakeI F, Kolesnikov V. Strong conditional oblivious transfer and computing on intervals[C]//ASIACRYPT’04. Jeju Island: Springer, 2004: 515-529.
[10] Li S D, Wang D S, Dai Y Q, et al. Symmetric cryptographic solution to Yao's millionaires' problem and an evaluation of secure multiparty computations[J]. Information Sciences, 2008(178): 244-255.
[11] Li S D, Wang D S, Dai Y Q. Symmetric cryptographic protocols for extended millionaires' problem[J]. Science in China Series F, 2009, 52(6): 974-982.
[12] 马敏耀. 安全多方计算及其扩展问题的研究[D]. 北京: 北京邮电大学, 2010.
[13] LidlR, Niederreiter H. Finite fields[M]. Cambridge University Press, 1996.
[14] Goldreich O. Foundation of cryptography, Volume (Ⅱ): basic applications[M].[S.l.]: Cambridge University Press, 2004.
[15] Paillier P. Public-key cryptosystems based on composite degree residuosity classes[C]//EUROCRYPT'99. Czech Republic: Springer, 1999: 223-238.

基于加法同态加密体制的安全变换相等判定协议

Secure Transformation-Equivalence Determination Protocol Based on Additively Homomorphic Encryption System

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 12

编辑推荐

Metrics

本文评价

[1]	李涛, 张静, 杨皓. 一种车载网隐私保护方案的分析与改进[J]. 北京邮电大学学报, 2020, 43(1): 104-110.
[2]	张静, 罗守山, 杨义先, 辛阳. 安全两方集合交集云外包计算协议[J]. 北京邮电大学学报, 2019, 42(2): 13-18.
[3]	宋成, 张明月, 彭维平, 贾宗璞, 刘志中. 基于安全多方计算的车载网隐私保护机制[J]. 北京邮电大学学报, 2017, 40(3): 67-71.
[4]	庞雷，罗守山，耿涛，王柏，辛阳. 保护隐私的逢低买入拍卖协议及其推广[J]. 北京邮电大学学报, 2012, 35(3): 99-102.
[5]	耿涛,李海成,罗守山，贾哲. 保护私有信息的动点距离判定协议及其推广[J]. 北京邮电大学学报, 2012, 35(3): 47-51.
[6]	许芬,庞雷,罗守山，王枞. 扩展代理多方计算及其协议[J]. 北京邮电大学学报, 2011, 34(4): 118-121.
[7]	肖倩罗守山杨文川郑康锋. 安全多方模糊综合评判模型及协议[J]. 北京邮电大学学报, 2009, 32(3): 5-9.
[8]	刘文罗守山肖倩杨义先辛阳. 安全两方圆计算问题的研究[J]. 北京邮电大学学报, 2009, 32(3): 32-35.
[9]	郑强罗守山辛阳. 无条件安全的隐私保护的集合模式匹配协议[J]. 北京邮电大学学报, 2009, 32(1): 99-102.
[10]	罗守山廖干才刘文. 保护私有信息的三角不等式判定协议及其应用[J]. 北京邮电大学学报, 2009, 32(1): 47-51.
[11]	马敏耀1, 罗守山1,2, 王励成1. 映射相等问题的安全双方计算协议[J]. 北京邮电大学学报, 2008, 31(6): 5-8.
[12]	刘文，罗守山，陈萍. 保护私有信息的点线关系判定协议及其应用[J]. 北京邮电大学学报, 2008, 31(2): 72-75.