| Summary: | 碩士 === 國立政治大學 === 資訊科學學系 === 101 === Secure multi-party computation(SMC) is a relevant field in cryptography. It is mainly for exploring how to complete a cooperative computation under the circumstance of all parties not disclosing any private data with the guarantee of zero possibility of data leaks during computation process. In the past research, we have developed a set of protocols for SMC which are implemented by a distributed SMC frame work. However, due to the difficulty in compiling protocol, the follow-up researches in this field have been heading towards developing a domain specific language for describing the complicated details of protocol. This language is known as security protocol description language.
Currently this description language is still lacking the capability of modular description of problem, thus in this study it is hoped that the addition of function mechanism can allow the programmer to separate identical computation segments by using the function calling approach. For this purpose, two design methods of functional mechanism have been proposed in this thesis: user-defined functions and built-in functions. The compilation mechanisms of these two functions have been completed with respect to the compiler of this language.
|
|---|
