| dc.contributor | 國立政治大學資訊科學系 | en_US |
| dc.contributor | 行政院國家科學委員會 | en_US |
| dc.creator (作者) | 陳恭;徐讚昇;穆信成 | zh_TW |
| dc.date (日期) | 2011 | en_US |
| dc.date.accessioned | 12-Nov-2012 11:05:42 (UTC+8) | - |
| dc.date.available | 12-Nov-2012 11:05:42 (UTC+8) | - |
| dc.date.issued (上傳時間) | 12-Nov-2012 11:05:42 (UTC+8) | - |
| dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/55494 | - |
| dc.description.abstract (摘要) | 安全多方計算的研究主要是針對在分散環境下的兩造(或多方)之間，如何在不透露彼此私有的資料的情況下，計算一個約定函數的問題，並要確保除了計算結果及其可能推導出的資訊，不會洩漏額外的私有資料。依此設計出來的函數算法，稱為安全的多方計算協定(protocol)。安全多方計算可應用於電子拍賣、醫療資料分類、臉部辨識與保留隱私之資料探勘等課題。過去兩年我們根據一套基於向量內積運算(scalar product)發展出的安全多方計算方法，設計了一個雛型的分散式系統框架，開發了一套符合其安全要求的常用算數運算函數庫，以此為基礎來撰寫較為複雜的函數的安全協定並進行各種效能評估。此外，我們也以此系統就特定的對象完成了一次實際的應用案例。目前個別的應用問題在此系統上發展安全協定的程式時，使用者必須相當熟悉其架構與程式庫細節，才能開發所需程式，造成推廣上的障礙。有鑑於此，本計畫擬採用領域專屬語言(domain-specific language)的方法與技術，針對一般安全多方協定程式的特徵來進行歸納與分析，找出協助其表達計算步驟的適當抽象機制，發展出一套協定描述語言與其編譯器，協助領域專家以更簡便的方式來設計與實驗更多的安全多方協定。這個規劃中的協定描述語言除了支援基礎的計算與程式化功能外，也將提供使用者訂定資料來源與安全限制的宣告機制。它的編譯器除了需要將使用者寫的協定程式內的運算轉換成使用安全的運算函數外，也必須採用靜態分析的技術來檢視程式，一方面確保任一方的資料不會外洩給對方；另一方面省去不必要的保護，以提昇所編譯出的程式的執行效能。 | en_US |
| dc.description.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. This project concerns the development of a system and a language tool for developing SMC protocols using of a set of information theoretically secure protocols based on scalar product protocol. This main characteristic of this approach is taking the scalar product computation as the basic building blocks, and then use it to construct more complex computation protocols. 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. To ease the writing of more complex user-defined protocols, this project proposes to develop a protocol description language and a compiler that converts user script code to SMC code, which is executable code composed of the building blocks we developed. Programs written in the description language consists of two parts: declarations of the data of the participating parties and their security requirements; computations to be performed among the parties. The compiler will first perform a static analysis to assure the security and privacy requirements are satisfied, and then translate user script to executable code. | en_US |
| dc.language.iso | en_US | - |
| dc.relation (關聯) | 商品化 | en_US |
| dc.relation (關聯) | 學術補助 | en_US |
| dc.relation (關聯) | 研究期間:10008~ 10107 | en_US |
| dc.relation (關聯) | 研究經費:657仟元 | en_US |
| dc.subject (關鍵詞) | 安全多方計算;隱私保護;領域專屬語言;靜態分析 | en_US |
| dc.title (題名) | 安全多方計算協定描述語言之設計與實作 (I) | zh_TW |
| dc.title.alternative (其他題名) | A Protocol Description Language for Secure Multi-Party Computation | en_US |
| dc.type (資料類型) | report | en |
