Secure multi-party calculation method and system based on trusted execution environment

Abstract

The embodiment of the invention discloses a secure multi-party calculation method and system based on a trusted execution environment. The method comprises the following steps: loading a calculation program related to secure multi-party calculation into a trusted execution environment; based on the trusted execution environment and other participants, verifying the integrity of respective calculation programs related to secure multi-party calculation; If the integrity verification of the calculation program succeeds, executing the calculation program in a trusted execution environment and performing calculation result interaction with other participants to complete the secure multi-party calculation. According to the specification, a calculation program related to secure multi-party calculation is loaded to a trusted execution environment for running; malicious tampering of a calculation program is avoided, safe multi-party calculation suitable for a semi-honest attack model is improved into safe multi-party calculation suitable for a malicious attack model, and the purposes that private data is protected against leakage, and meanwhile the calculation speed is not reduced are achieved.

Description

technical field [0001] This specification relates to the field of secure multi-party computing, in particular to a method and system for secure multi-party computing based on a trusted execution environment. Background technique [0002] The research on secure multi-party computation is mainly aimed at the problem of how to safely compute an agreed function without a trusted third party. In the process of secure multi-party computing, it is necessary to ensure that the participants can perform computing tasks in good faith according to the agreed functions or codes, so as to ensure data security and correct calculation results. [0003] The current security challenge models for secure multi-party computing can be divided into: 1) Semi-honest attack model: This type of model assumes that all participants abide by the agreement; 2) Malicious attack model: Some participants do not follow the agreement in order to obtain the privacy of other parties, such as forging and tamperi...

AI Technical Summary

Problems solved by technology

According to the above two different security challenge models, secure multi-party computing algorithms can be divided into: 1) Suitable for semi-honest attack model, this type of algorithm will not take screening or defense measures against the malicious attack behavior of the participants, and the speed is relatively fast , but cannot prevent malicious modification of the protocol, and the security level is low; 2) Suitable for malicious attack models, this type of algorithm can identify malicious behaviors, so as to ensure correct calculation results, high security level, but slow calculation speed

Images