1. NCCU Academic Hub
  2. Publications
  3. College of Informatics
  4. Theses
  5. Item

Publications-Theses

Article View/Open

Publication Export

Google ScholarTM

NCCU Library

Citation Infomation

Related Publications in TAIR

題名 安全多方計算協定描述語言之函數實作
Adding Function to a Protocol Description Language for Secure Multi-Party Computation
作者 陳昱霖
Chen, Yu Lin
貢獻者 陳恭
Chen, Kung
陳昱霖
Chen, Yu Lin
關鍵詞 安全多方計算
密碼學
安全協定
領域專屬語言
自定函數
內建函數
secure multi-party computation
cryptography
security protocols
domain specific language
user-defined functions
built-in functions
日期 2012
上傳時間 1-Dec-2014 14:19:20 (UTC+8)
摘要 安全多方計算是密碼學中一個相關的領域，它主要探討的問題是如何在各方不公開私有資料的情況下完成合作計算，並保證計算的過程中不會有不必要的資料洩密。在過去的研究裡，我們的團隊已經發展出一組豐富的雙方安全協定程式庫，並以一個分散式框架負責執行。但由於安全協定的撰寫相當不易，我們朝這方面去研發一套領域專屬語言來負責描述複雜的協定細節，這套語言我們稱之為安全協定描述語言。\r\n 目前這套描述語言還缺乏模組化描述協定的能力，本研究希望加入函數機制以提供撰寫者使用函數呼叫的方式切割出相同的計算區塊。基於這個動機，本論文提出兩個定義函數的機制: 自定函數(user-defined functions)與 內建函數(built-in functions), 並針對這套語言的編譯器完成這兩種函數的編譯功能。最後設計一套測試方法驗證此擴充語言的編譯機制。
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.\r\n 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.
參考文獻 [1] Yao AC. Protocols for secure computation. SFCS 1982: Proceedings of the 23rd Annual IEEE Symposium on Foundations of Computer Science; 1982 Nov 3-5; 1982. p. 160-4.\r\n[2] Goldreich O, Micali S, Wigderson A. How to play ANY mental game. Proceedings of the 19th Annual ACM Symposium on Theory of Computing; 1987. p. 218-29. \r\n[3] A. C. Yao. How to generate and exchange secrets. In IEEE Symposium on Foundations of Computer Science (FOCS’86), pages 162–167. IEEE, 1986. \r\n[4] Goldreich O, Secure multi-party computation (working draft). Available from http://www.wisdom.weizmann, ac.il/home/oded/public_html/foc.html, 1998. \r\n[5] P. Paillier. Public-key cryptosystems based on composite degree residuosity classes. In Advances in Cryptology – EUROCRYPT’99, volume 1592 of LNCS, pages 223–238. Springer, 1999. \r\n[6] I. Damg°ard and M. Jurik. A generalisation, a simplification and some applications of paillier’s probabilistic public-key system. In Public-Key Cryptography (PKC’01), volume 1992 of LNCS, pages 119–136. Springer, 2001. \r\n[7] M. Dijk, C. Gentry, S. Halevi, and V. Vaikuntanathan. Fully homomorphic encryption over the integers. In Advances in Cryptology –EUROCRYPT’10, LNCS, pages 24–43. Springer, 2010. \r\n[8] Beaver D. Commodity-based cryptography (extended abstract). STOC 1997: Proceedings of the 29th Annual ACM Symposium on Theory of Computing; 1997 May 4-6; El Paso, Texas, USA. New York, NY, USA: ACM Press; 1997. p. 446-55. \r\n[9] Du W, Zhan Z. A practical approach to solve Secure Multi-party Computation problems. NSPW 2002: Proceedings of the 2002 Workshop on New Security Paradigms; 2002 Sep 23-26; Virginia Beach, Virginia USA. New York, NY, USA: ACM Press; 2002.p. 127-35.\r\n[10] Da-Wei Wang, Chrun-Jung Liau, Yi-Ting Chiang, Tsan-sheng Hsu, \"Information Theoretical Analysis of Two-Party Secret Computation,\" Data and Application Security, Lecture Notes in Computer Science, number 4127, Springer, pages 310-317, July 2006.\r\n[11] Chih-Hao Shen, Justin Zhan, Da-Wei Wang, Tsan-Sheng Hsu, Churn-Jung Liau, \"Information-Theoretically Secure Number-Product Protocol,\" 2007 International Conference on Machine Learning and Cybernetics, volume 5, pages 3006-3011, August 2007.\r\n[12] I-Cheng Wang, Chih-Hao Shen, Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang, and Justin Zhan, \"Towards Empirical Aspects of Secure Scalar Product,\" IEEE Transactions on Systems, Man, and Cybernetics, volume 39, pages 440-447, July 2009.\r\n[13] Chih-Hao Shen, Justin Zhan, Da-Wei Wang, Tsan-Sheng Hsu, Churn-Jung Liau, \"Information-Theoretically Secure Number-Product Protocol,\" 2007 International Conference on Machine Learning and Cybernetics, volume 5, pages 3006-3011, August 2007.\r\n[14] Wang IC, Shen CH, Chen K, Hsu TS, Liau CJ, Wang DW. An empirical study on privacy and secure multi-party computation using exponentiation. Secure- Com 2009: International Symposium on Secure Compu- ting; 2009 Aug 29-31; Vancouver, Canada. 2009. p. 182- 8.\r\n[15] Wang IC, Chen K, Hsu TS, Liau CJ, Shen CH, Wang DW. Protocols for secure multi-party computation: design, implementation and performance evaluation. Institute of Information Science, Academia Sinica, Taiwan; 2009 Report No.: TR-IIS-09-005.\r\n[16] 王啟典，多方安全計算平行演算法之實證研究，國立政治大學資訊科學系，碩士論文，民98 年7 月。\r\n[17] 蕭名宏，基於多方安全計算之算術運算，國立政治大學資訊科學系，碩士論文，民99 年7 月。\r\n[18] I.C. Wang, Kung Chen, J.H. Chuang, C.H. Lee, T.S. Hsu, C.J. Liau, P.Y. Wang, and D.W. Wang, “On Applying Secure Multi-party Computation: A Case Report”, Proc. of Asia-Pacific Association Medical Informatics (APAMI 2009), Hiroshima, Japan, Nov. 22-24, 2009.\r\n[19] 疾病管制局，登革熱疾病飯擔之估計與應用，行政院衛生署疾病管制局97年度科技研究發展計畫。\r\n[20] 黃文楷，安全多方計算協定描述語言之設計與實作，國立政治大學資訊科學系，碩士論文，民100年7月。
描述 碩士
國立政治大學
資訊科學學系
99753023
101
資料來源 http://thesis.lib.nccu.edu.tw/record/#G0099753023
資料類型 thesis
dc.contributor.advisor 陳恭zh_TW
dc.contributor.advisor Chen, Kungen_US
dc.contributor.author (Authors) 陳昱霖zh_TW
dc.contributor.author (Authors) Chen, Yu Linen_US
dc.creator (作者) 陳昱霖zh_TW
dc.creator (作者) Chen, Yu Linen_US
dc.date (日期) 2012en_US
dc.date.accessioned 1-Dec-2014 14:19:20 (UTC+8)-
dc.date.available 1-Dec-2014 14:19:20 (UTC+8)-
dc.date.issued (上傳時間) 1-Dec-2014 14:19:20 (UTC+8)-
dc.identifier (Other Identifiers) G0099753023en_US
dc.identifier.uri (URI) https://ah.lib.nccu.edu.tw/item?item_id=80246-
dc.description (描述) 碩士zh_TW
dc.description (描述) 國立政治大學zh_TW
dc.description (描述) 資訊科學學系zh_TW
dc.description (描述) 99753023zh_TW
dc.description (描述) 101zh_TW
dc.description.abstract (摘要) 安全多方計算是密碼學中一個相關的領域，它主要探討的問題是如何在各方不公開私有資料的情況下完成合作計算，並保證計算的過程中不會有不必要的資料洩密。在過去的研究裡，我們的團隊已經發展出一組豐富的雙方安全協定程式庫，並以一個分散式框架負責執行。但由於安全協定的撰寫相當不易，我們朝這方面去研發一套領域專屬語言來負責描述複雜的協定細節，這套語言我們稱之為安全協定描述語言。\r\n 目前這套描述語言還缺乏模組化描述協定的能力，本研究希望加入函數機制以提供撰寫者使用函數呼叫的方式切割出相同的計算區塊。基於這個動機，本論文提出兩個定義函數的機制: 自定函數(user-defined functions)與 內建函數(built-in functions), 並針對這套語言的編譯器完成這兩種函數的編譯功能。最後設計一套測試方法驗證此擴充語言的編譯機制。zh_TW
dc.description.abstract (摘要) 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.\r\n 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.en_US
dc.description.tableofcontents 第一章 緒論 1\r\n1.1 研究背景與動機 1\r\n1.2 研究目標 1\r\n1.3 研究貢獻 2\r\n1.4 論文結構 2\r\n第二章 安全多方計算與協定描述語言之分析 3\r\n2.1 安全多方計算之研究背景 3\r\n2.2 安全多方計算協定之發展 4\r\n2.3 安全雙方計算函式庫 6\r\n2.4 協定描述語言 7\r\n2.5 協定描述語言之規格與設計細節 7\r\n2.6 協定描述語言之安全型態 10\r\n2.7 協定描述語言之安全型態推導 10\r\n2.8 安全雙方計算資料的輸入與輸出 12\r\n2.9 協定描述語言的執行環境與流程 13\r\n第三章 協定描述語言之函數研究方法 14\r\n3.1 PDL-Program’s Structure 14\r\n3.2 PDL-Function’s Grammar 15\r\n3.3 PDL Scoping Rules 17\r\n3.4 Type Environments 19\r\n3.5 Type Signatures 20\r\n3.6 Program Analysis 21\r\n3.7 Compilation of Secure Multi-party Computation Codes 23\r\n3.8 Built-in Functions 26\r\n第四章 編譯器設計與應用案例 30\r\n4.1 編譯器設計之Parser 31\r\n4.2 編譯器設計之Analyzer 34\r\n4.3 編譯器設計之Generator 35\r\n4.4 PDL User-Defined Functions應用案例 40\r\n4.5 PDL Built-in Functions應用案例 48\r\n第五章 回歸測試與成果討論 52\r\n5.1 Regression Test 52\r\n5.2 成果討論 55\r\n5.3 資訊安全性的討論 56\r\n第六章 結論 58\r\n6.1 總結 58\r\n6.2 未來展望 58zh_TW
dc.language.iso en_US-
dc.source.uri (資料來源) http://thesis.lib.nccu.edu.tw/record/#G0099753023en_US
dc.subject (關鍵詞) 安全多方計算zh_TW
dc.subject (關鍵詞) 密碼學zh_TW
dc.subject (關鍵詞) 安全協定zh_TW
dc.subject (關鍵詞) 領域專屬語言zh_TW
dc.subject (關鍵詞) 自定函數zh_TW
dc.subject (關鍵詞) 內建函數zh_TW
dc.subject (關鍵詞) secure multi-party computationen_US
dc.subject (關鍵詞) cryptographyen_US
dc.subject (關鍵詞) security protocolsen_US
dc.subject (關鍵詞) domain specific languageen_US
dc.subject (關鍵詞) user-defined functionsen_US
dc.subject (關鍵詞) built-in functionsen_US
dc.title (題名) 安全多方計算協定描述語言之函數實作zh_TW
dc.title (題名) Adding Function to a Protocol Description Language for Secure Multi-Party Computationen_US
dc.type (資料類型) thesisen
dc.relation.reference (參考文獻) [1] Yao AC. Protocols for secure computation. SFCS 1982: Proceedings of the 23rd Annual IEEE Symposium on Foundations of Computer Science; 1982 Nov 3-5; 1982. p. 160-4.\r\n[2] Goldreich O, Micali S, Wigderson A. How to play ANY mental game. Proceedings of the 19th Annual ACM Symposium on Theory of Computing; 1987. p. 218-29. \r\n[3] A. C. Yao. How to generate and exchange secrets. In IEEE Symposium on Foundations of Computer Science (FOCS’86), pages 162–167. IEEE, 1986. \r\n[4] Goldreich O, Secure multi-party computation (working draft). Available from http://www.wisdom.weizmann, ac.il/home/oded/public_html/foc.html, 1998. \r\n[5] P. Paillier. Public-key cryptosystems based on composite degree residuosity classes. In Advances in Cryptology – EUROCRYPT’99, volume 1592 of LNCS, pages 223–238. Springer, 1999. \r\n[6] I. Damg°ard and M. Jurik. A generalisation, a simplification and some applications of paillier’s probabilistic public-key system. In Public-Key Cryptography (PKC’01), volume 1992 of LNCS, pages 119–136. Springer, 2001. \r\n[7] M. Dijk, C. Gentry, S. Halevi, and V. Vaikuntanathan. Fully homomorphic encryption over the integers. In Advances in Cryptology –EUROCRYPT’10, LNCS, pages 24–43. Springer, 2010. \r\n[8] Beaver D. Commodity-based cryptography (extended abstract). STOC 1997: Proceedings of the 29th Annual ACM Symposium on Theory of Computing; 1997 May 4-6; El Paso, Texas, USA. New York, NY, USA: ACM Press; 1997. p. 446-55. \r\n[9] Du W, Zhan Z. A practical approach to solve Secure Multi-party Computation problems. NSPW 2002: Proceedings of the 2002 Workshop on New Security Paradigms; 2002 Sep 23-26; Virginia Beach, Virginia USA. New York, NY, USA: ACM Press; 2002.p. 127-35.\r\n[10] Da-Wei Wang, Chrun-Jung Liau, Yi-Ting Chiang, Tsan-sheng Hsu, \"Information Theoretical Analysis of Two-Party Secret Computation,\" Data and Application Security, Lecture Notes in Computer Science, number 4127, Springer, pages 310-317, July 2006.\r\n[11] Chih-Hao Shen, Justin Zhan, Da-Wei Wang, Tsan-Sheng Hsu, Churn-Jung Liau, \"Information-Theoretically Secure Number-Product Protocol,\" 2007 International Conference on Machine Learning and Cybernetics, volume 5, pages 3006-3011, August 2007.\r\n[12] I-Cheng Wang, Chih-Hao Shen, Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang, and Justin Zhan, \"Towards Empirical Aspects of Secure Scalar Product,\" IEEE Transactions on Systems, Man, and Cybernetics, volume 39, pages 440-447, July 2009.\r\n[13] Chih-Hao Shen, Justin Zhan, Da-Wei Wang, Tsan-Sheng Hsu, Churn-Jung Liau, \"Information-Theoretically Secure Number-Product Protocol,\" 2007 International Conference on Machine Learning and Cybernetics, volume 5, pages 3006-3011, August 2007.\r\n[14] Wang IC, Shen CH, Chen K, Hsu TS, Liau CJ, Wang DW. An empirical study on privacy and secure multi-party computation using exponentiation. Secure- Com 2009: International Symposium on Secure Compu- ting; 2009 Aug 29-31; Vancouver, Canada. 2009. p. 182- 8.\r\n[15] Wang IC, Chen K, Hsu TS, Liau CJ, Shen CH, Wang DW. Protocols for secure multi-party computation: design, implementation and performance evaluation. Institute of Information Science, Academia Sinica, Taiwan; 2009 Report No.: TR-IIS-09-005.\r\n[16] 王啟典，多方安全計算平行演算法之實證研究，國立政治大學資訊科學系，碩士論文，民98 年7 月。\r\n[17] 蕭名宏，基於多方安全計算之算術運算，國立政治大學資訊科學系，碩士論文，民99 年7 月。\r\n[18] I.C. Wang, Kung Chen, J.H. Chuang, C.H. Lee, T.S. Hsu, C.J. Liau, P.Y. Wang, and D.W. Wang, “On Applying Secure Multi-party Computation: A Case Report”, Proc. of Asia-Pacific Association Medical Informatics (APAMI 2009), Hiroshima, Japan, Nov. 22-24, 2009.\r\n[19] 疾病管制局，登革熱疾病飯擔之估計與應用，行政院衛生署疾病管制局97年度科技研究發展計畫。\r\n[20] 黃文楷，安全多方計算協定描述語言之設計與實作，國立政治大學資訊科學系，碩士論文，民100年7月。zh_TW