| Data,as a new generation of production factors,has become an important asset of strategic value for enterprises and countries.Since data can only be more fully valued if it is flowed and shared,seeking multi-party data collaborative computation across enterprises,industries,and fields has become a rigid demand for current enterprises.However,the importance of data value is becoming more and more prominent.The data leakage and abuse caused by this multi-party computation model will lead to a greater negative impact and economic loss.Therefore,how to complete secure computation for multi-party data has become an important issue that needs to be addressed.Using secure multi-party computation technology to construct secure multi-party computation generic protocols for achieving secure multi-party computation of any computation task,is an important way to solve the above mentioned problems.The research on secure multiparty computation generic protocols in the malicious model has a research hotspot in the field,and has a wider range of application scenarios,with the reason that the attackers in the malicious model can destroy the protocol execution in any way.However,due to the complexity of cryptographic operations,the diversity of computation tasks,and the differences of computing environments,it is difficult for the existing secure multi-party computation generic protocols in the malicious model to be widely used in practical multi-party computation tasks.Therefore,with the research goal of achieving efficient and secure multi-party computation for arbitrary computation tasks in the malicious model,this thesis constructs different efficient and secure multi-party computation generic protocols for different computing environments,in order to effectively solve the problem of secure multi-party computation in the malicious model,and promote the secure flow and sharing of data.The main work of this thesis is as below.(1)Propose a mixed-protocol based secure two-party computation generic framework in the malicious model.First of all,a new malicious secure cryptography tool named committed oblivious linear evaluation is constructed with the two-party homomorphic commitment technology.Secondly,using the tool,two secret share conversion protocols are constructed in the malicious model to support the mutual conversion between the two types of secret shares.Finally,the mixed-protocol based secure two-party computation generic framework is constructed.It gets rid of the dependence on random oracle assumption of previous works,and is proved to be secure in the malicious model with the security analysis.(2)Propose a mixed-protocol secure multi-party computation generic framework in the malicious model.By using the multi-party homomorphic commitment technology,six secret share conversion protocols in the malicious model are constructed to fully support the mutual conversion between any two of the three existing secret shares in the malicious model.On this basis,the mixed-protocol based secure multi-party computation generic framework is constructed.It gets rid of the dependence on random oracle assumption of previous works,and solves the problems of mutual conversions among three types of maliciously secure multi-party computation protocols.(3)Propose a server-aided secure two-party computation generic protocol towards the cloud computing environment in the malicious model.Firstly,by using garbled circuit technology and information-theoretic message authentication code technology,the serveraided secure two-party computing generic protocol in the cloud computing environment is constructed.By securely outsourcing the circuit evaluation task of existing maliciously secure two-party computation generic protocols to the server,it effectively improves the efficiency of these protocols.Secondly,with the asymmetric relationship based malicious security model constructed within the server and 2 client parties,the security of the proposed protocol is proved with the security analysis.(4)Propose a server-aided secure multi-party computation generic protocol towards the cloud computing environment in the malicious model.Firstly,using the authenticated multi-party garbled circuit technology,the former work is extended from supporting the security computation of two client parties to n client parties in the cloud computing environment.Secondly,using the information-theoretic message authentication code technology,the server not only undertakes the circuit evaluation task,but also helps with the circuit generation task among n parties,which further reduces the computation cost of n client parties and improves the efficiency of the secure multi-party computation generic protocol in the malicious model.Finally,based on the asymmetric relationship based malicious security model constructed within the server and n client parties,the security of the proposed protocol is proved with security analysis. |
