A Secure Comparison Protocol in the Malicious Model

Secure comparison is an important problem in the field of secure computing. A classic example is the Millionaires' problem, which is securely compares the wealth of two millionaires without revealing their wealth. However most traditional secure comparison protocol requires autonomous computation among the participants. It is necessary to ensure that the model of the participants is a semi-honest model, otherwise the protocol will not be able to execute correctly. In this paper, we introduce a semi-honest judge to improve the Damgård-Geisler-KrØigaard(DGK) comparison protocol by using techniques such as zero-knowledge proof and homomorphic encryption. The improved protocol is not only applicable to the malicious participant model, but also the introduced judge would not get any information of data. At last, the security analysis shows that the proposed scheme in this paper can guarantee the data fairness of the comparison protocol while ensuring the privacy security of the participants.