安全多方計算協定描述語言之設計與實作 - 政大學術集成
9
0
0
全文
(2) 安全多方計算協定描述語言 之設計與實作 A Protocol Description Language for Secure Multi-Party Computation 研 究 生 : 煒文楷. Student: Wen-Kai Huang. 指導教授 : 陳 恭. Advisor : Kung Chen. 國立政治大學 資訊科學系 碩士論文. A Thesis Submitted to Department of Computer Science National Chengchi University in partial fulfillment of Requirements for the degree of Master in Computer Science. 中華民國一百年七月 July 2011.
(3) (. ). (protocol) !. (scalar product). ! (domain-specific language). 1. 2. 3. 4.. !. PDL. SMC-Protocol (Protocol Description Language, PDL).
(4) A Protocol Description Language for Secure Multi-Party Computation. Abstract. Protocols for secure multi-party computation (SMC) allow participants to share a computation while each party learns only what can be inferred from their own inputs and the output of the computation. !. In the past two years, we developed an SMC implementation framework for both. integers and floating numbers which comprises a set of arithmetic operations that manipulate secret values among involved parties using the scalar product protocol as the basis. Such a library of arithmetic operations is call building blocks. !. But using this library is not easy. To solve individual SMC problem, programmer. should knowing the given framework and protocol detail very well. This difficulty makes them wonʼt consider this framework while facing the need of SMC. !. To ease the writing of more complex user-defined protocols, using the technique. of domain-specific language, this thesis analysis the general needs of SMC, develop a domain-specific language of SMC, and implement a compiler that coverts this language to SMC code, which is executable code composed of the protocols of given framework. We called this language Protocol Description Language, PDL..
(5) !. 3 !. 6. 1.1. !.......................................................................................6. 1.2. !..................................................................................................6. 1.3. !..................................................................................................7. 1.4. !..................................................................................................7. !. 8. 2.1. !............................................................................8. 2.2. !............................................................................8. 2.3. !................................................................................9. 2.4. !.........................................................10. (PDL). !. 11. 3.1 PDL. !.........................................................................................11. 3.2 PDL. !...........................................................................15. 3.3 PDL. !................................................................................................20. PDL. !. 31. 4.1 Secure Multiparty Computation Protocol 4.2. PDL Data Description. 4.3 Computation Description. !.......................................31 !..............................................32. !...............................................................33. 4.4 Compiler Construction!...........................................................................34 4.5 Properties of Code Generation of PDL!..................................................37 4.6 Code Generation Examples of the PDL Compiler!.................................39. 1.
(6) PDL. !. 5.1 PDL. 42 !............................................................42. 5.2 PDL Compiler 5.3. !........................................................45 !.....................................................................................47. !. 49. 6.1. !............................................................................................49. 6.2. !................................................................................................49. !. 52. !. 55 PDL. !........................................................................................55. Type-System Construction Rules!.................................................58 Access Level Checking!.................................................................60 Data Type Checking!......................................................................63 PDL Generation Rules!..................................................................65 SMC-Protocol Counting Rule!........................................................75. 2.
(7) 2.2.1:. !.................................................................9. 3.1.1-A: PDL. !.......................................................................12. 3.1.1-B:. !...................................................................12. 3.1.2: PDL. !.......................................................................14. 3.2.1-A. !.........................................................15. 3.2.1-B. (1)!..............................................................................16. 3.2.1-C. (2)!..............................................................................16. 3.2.1-D. (1)!..............................................................................17. 3.2.1-E. (2)!..............................................................................17. 3.2.1-F. !..................................................................................18. 3.3.1:. PDL Code!.................................................................20. 3.3.2-1: If-Statement. !....................................................................21. 3.3.2-2: Conditional-Expression 3.3.2: DHF. !...................................................21. PDL Code!.......................................................................22. 3.3.3-A:. PDL - Part 1!......................................................24. 3.3.3-A:. PDL - Part 2!......................................................25. 3.3.4-A:. - Part 1!.............................................................26. 3.3.4-A:. - Part 2!.............................................................27. 3.3.4-C-1:. !............................................................28. 3.3.4-C-2:. 1-. Domain!............................28. 3.3.4-C-3:. 2-. !.....................................29. 4.3.1 PDL Statement. !.......................................................................33. 3.
(8) 4.3.2 PDL Expression. !......................................................................33. 4.4.2-1: Conditional-Expression!...............................................................36 4.4.2-2: Conditional-Expression!...............................................................36 4.4.3. !..................................................................................37. 4.6.1:. Code Generation PDL. 4.6.1-A:. ServerA Code!..................................................................40. 4.6.1-B:. ServerB Code!..................................................................40. 5.1.1: 5.1.2:. TASTYL. !..................................................43. PDL. !.................................................44. 5.2.1: Protocol-Counting 5.2.2: Protocol. !...........................................39. PDL!...........................................................47. !...........................................................................48. 5.2.3: Partial Protocol Counting Rules!.....................................................48. 4.
(9) 4.1.1 4.2.1 4.4.1 PDL. Domain. ! !. 32 32. !. 34. 5.
(10)
相關文件
This project aims to cover a range of learning targets and objectives in the Knowledge, Interpersonal and Experience Strands/Dimensions, language development strategies and
• Among the learning objectives for ELEKLA, the language development strategies, literary competence development strategies and attitudes specific to language and literature
• Among the learning objectives for ELEKLA, the language development strategies, literary competence development strategies and attitudes specific to language and literature
Building on the strengths of students and considering their future learning needs, plan for a Junior Secondary English Language curriculum to gear students towards the
e-Learning Series: Effective Use of e-Resources to Develop Students’ English Language Skills at the Secondary Level.. Dr Timothy Taylor, Senior Lecturer Department of English
← This allows teachers to adapt the school-based English Language curriculum and devise learning/teaching materials that better suit the diverse abilities, needs
Roles of English language (ELTs) and non- language teachers (NLTs)3. General, academic and technical
Expecting students engage with a different level of language in their work e.g?. student A needs to label the diagram, and student B needs to
