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

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

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

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.