安全多方计算在空间几何问题中的应用 .pdfVIP

安全多方计算在空间几何问题中的应用

王珽;罗文俊

【摘要】研究安全多方计算在空间几何问题中的应用,提出了空间中基于阈值的两

点之间、点线之间距离关系的保密判定协议,空间中点与两平行平面位置关系的保

密判定协议;并利用这些协议作为子协议为空间中基于阈值的点与线段之间距离关

系的保密判定问题构造了相应的保密解决方案.所提出的协议和解决方案在工程、

商业和军事等领域中具有潜在的应用价值.

【期刊名称】《计算机系统应用》

【年(卷),期】2015(024)001

【总页数】5页(P156-160)

【关键词】安全多方计算;计算几何;阈值;百万富翁协议;点积协议

【作者】王珽;罗文俊

【作者单位】山西职业技术学院计算机工程系,太原030006;重庆邮电大学计算机

科学与技术学院,重庆400065

【正文语种】中文

现代密码学中的安全多方计算问题由Yao教授首次提出并做了初步的分析与研究

[1],随后,该问题又被Goldreich等学者进行了一定的扩展性研究[2].根据安全多

方计算的理论研究,任何安全多方计算问题都能够通过使用电路求值协议在理论上

被解决[3],但是使用一般的解决方案去解决某些特殊情形下的安全多方计算问题一

般是不切实际的.例如,先后被相关密码学者提出并研究的保密统计分析,保密信息

检索,保密数据挖掘,安全多方科学计算,保密计算几何等特殊安全多方计算问题.

所以由此推动并出于效率等因素的考虑,密码学研究人员正在不断对各种特殊的安

全多方计算问题进行研究并为之设计特定的解决方案[4-10].

其中,保密计算几何作为一类特殊的安全多方计算问题,主要研究的是在一个分布

式环境中两个或多个参与方分别利用各自的秘密几何信息作为输入数据进行协作计

算,从而获得各自所需的正确计算结果,并且在计算结束后每个参与方没有把自己

的秘密信息泄露给其他的参与方.文献[11-15]对保密计算几何领域中涉及的部分问

题进行了初步的研究.

本文在文献[15]的基础上,通过运用基本的密码学知识在部分基础安全多方计算协

议之上通过分析空间中基于阈值的两点之间、点线之间距离关系,空间中点与两平

行平面之间位置关系的判定问题,分别提出了相应的保密判定协议,并将这几个协

议应用于空间中基于阈值的点与线段之间距离关系的保密判定协议中.另外,本文

假设所有的参与方都是半诚实的,半诚实的参与方会严格按照协议规定执行每一步,

同时在协议执行过程中不会主动退出协议或恶意输入虚假信息,但是可能会通过分

析和利用协议执行过程中自己得到的中间信息来推导其他参与方的相关私有输入信

息.

这一节介绍本文涉及到的安全多方计算中的两个重要协议和基本空间几何知识.

1.1两个基本协议

百万富翁协议(millionaires’protocol).协议的目的是比较两个秘密数,例如判断

哪一个数更大.该协议最早作为百万富翁问题由Yao[1]提出,可以被描述为:两个百

万富翁Alice与Bob想知道他们两个谁更富有,但他们都不想让对方知道自己财富

的任何信息,这就是百万富翁问题.同时Yao在文献中给出了一个最初的解决方案,

但计算和通信复杂度都比较高.后来,也有学者对该协议做了进一步的研究[16,17].

百万富翁问题的解决方案是构造许多安全多方计算问题解决方案的一个基本模块,

同样也是本文将要提出的部分解决方案的一个基本模块或子协议.

保密点积协议(privacy-preservingdotproductprotocol).该问题最初被Du和

Atallah提出[11],协议可描述为:假设有两个参与者,Alice拥有秘密输入向量,Bob

拥有秘密输入向量,他们希望进行合作计算并在协议结束后,Alice得到值(这里是

Bob选取的一个随机值).同时要满足Alice不能从中得到有关的值,也不能从自己

获取的信息中推出任何有关的信息;Bob不能得到的值,也不能推出有关的信息.保

密点积协议已经成为安全多方计算领域的一个重要密码学协议,文献[6,11,18]分别

提出了几个具有不同安全性的解决方案.

1.2基本空间几何知识

假设,表示空间中的两个点,表示空间中的一个平面;用表示空间中的一条线段,其

中,是线段的两个端点.那么根据空间解析几何相关知识可以有以下结论:

(1)和之间的距离.

(2)点与平面之间的距离可表示为.

(3)点到经过线段的直线的距离(其中表示两向量的叉积).

2.1空间中基于阈值的两点之间距离关系的保密判定协议

问题描述:假设有两个参与方,Alice