Efficient Privacy-Preserving Interval Computation and Its Applications
Yi-Min GUO,Su-Fang ZHOU,Jia-Wei DOU,Shun-Dong LI,Dao-Shun WANG
DOI: https://doi.org/10.11897/SP.J.1016.2017.01664
2017-01-01
Abstract:Secure multiparty computation (SMC) is presently a research focus in the international cryptographic community and a key technology of privacy preserving and information security in cyberspace.This paper investigates an important SMC problem, specific privacy-preserving rational interval computation (PIC).PIC attempts to securely determine whether one private rational number belongs to a private rational interval.This problem is of theoretical cryptographic importance, has practical importance in constructing other SMC protocols, and has many PIC-related applications, such as the inclusion problems between point and ring, point and infinite region, point and segment, and so on, even is able to reduce the cost in real commodity transaction.Based on Paillier's homomorphic encryption and the ideas in the millionaire's methods, firstly, we study the PIC problem from the viewpoint of geometry, where we consider that the private inputs as the slopes of lines that pass through the origin of the coordinates.Thus, the PIC problem can be reduced to the relationship between those lines.Then, we use the formula for computing the area of a triangle formed by three points to construct an efficient rational PIC protocol.Secondly, we regard the comparison as arithmetic inequalities and call an integral millionaire's approach based on symmetric cryptography, propose another efficient rational PIC protocol.Thirdly, we prove the privacy-preserving properties of these two protocols by using simulation paradigm and analyze their theoretical and practical efficiency.Analysis shows that these protocols are efficient.Finally, we demonstrate applications of these two PIC protocols.