点包含问题的安全多方计算.PDF

第27卷摇 第5期 计 算机 技 术 与发 展 Vol.27摇 No.5 2017年5月 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 COMPUTERTECHNOLOGY AND DEVELOPMENT摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 May 摇 2017 点包含问题的安全多方计算 杨晓艺,刘摇 新,亢摇 佳 (陕西师范大学计算机科学学院,陕西 西安 710119) 摘摇 要:安全多方计算是近年来国际密码学界研究的热点问题,计算几何的多方保密计算越来越受到重视,点包含问题的 多方保密计算作为保密计算几何中的一个重要问题也越来越受到关注。 考虑到要保密地解决点包含的问题,基于安全多 方计算的几个基础协议,即向量点积协议和姚式百万富翁协议,设计了一个可以保密判断线段是否相交的协议,基于此协 议的核心思想同时联系相关几何知识,设计了可以保密判断点包含问题的协议,理论分析结果表明所设计的协议在半诚 实模型下是正确的和安全的。 它们作为重要的安全多方计算基础协议对解决保密计算几何其他相关问题有着重要的实 用价值,可以用来进一步解决两个或多个图形是否相交的问题、多个点是否包含在一个图形中的问题等。 关键词:安全多方计算;保密计算几何;点包含问题;线段相交问题 中图分类号:TP31摇 摇 摇 摇 摇 摇 文献标识码:A摇 摇 摇 摇 摇 摇 摇 文章编号:1673-629X(2017)05-0120-03 doi:10.3969/j.issn.1673-629X.2017.05.025 Secure Multi-party Computation for Point Inclusion Problems YANG Xiao-yi,LIU Xin,KANG Jia (School of Computer Science,Shaanxi Normal University,Xi爷an710119,China) Abstract:Secure multi-party computation isone of the hot spots in international cryptography research community in recent years,and more and moreattentionhasbeenpaidtothesecurecomputationalgeometry.Asanimportantproblemofsecurecomputationalgeometry, more interestshave been paid on point-inclusion problem.A secureprotocol for determining whether two segmentsare intersecting with several basicprotocols,ScalarProductProtocolandYao爷sMillionaire爷sProtocol,hasbeendeveloped.Thusbasedoncoreoftheprotocol designed and related geometric knowledge,a secureprotocolto solvethepoint-inclusionproblemhasbeen developed.Theoreticalanaly鄄 sisresults show that these two protocolsarecorrect and secureunder semihonest model.Asapart ofimportant securemulti-party com鄄 putational protocols,they both imply important practical value in solving the problem of secure multi-party computational geo