English  |  正體中文  |  简体中文  |  Post-Print筆數 : 27 |  Items with full text/Total items : 112721/143689 (78%)
Visitors : 49637906      Online Users : 666
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
    •  Adv. Search
    Home ‧ Login ‧ Upload ‧ Help ‧ About ‧ Administer Goto mobile version


    Please use this identifier to cite or link to this item: https://nccur.lib.nccu.edu.tw/handle/140.119/55494


    Title: 安全多方計算協定描述語言之設計與實作 (I)
    Other Titles: A Protocol Description Language for Secure Multi-Party Computation
    Authors: 陳恭;徐讚昇;穆信成
    Contributors: 國立政治大學資訊科學系
    行政院國家科學委員會
    Keywords: 安全多方計算;隱私保護;領域專屬語言;靜態分析
    Date: 2011
    Issue Date: 2012-11-12 11:05:42 (UTC+8)
    Abstract: 安全多方計算的研究主要是針對在分散環境下的兩造(或多方)之間，如何在不透露彼此私有的資料的情況下，計算一個約定函數的問題，並要確保除了計算結果及其可能推導出的資訊，不會洩漏額外的私有資料。依此設計出來的函數算法，稱為安全的多方計算協定(protocol)。安全多方計算可應用於電子拍賣、醫療資料分類、臉部辨識與保留隱私之資料探勘等課題。過去兩年我們根據一套基於向量內積運算(scalar product)發展出的安全多方計算方法，設計了一個雛型的分散式系統框架，開發了一套符合其安全要求的常用算數運算函數庫，以此為基礎來撰寫較為複雜的函數的安全協定並進行各種效能評估。此外，我們也以此系統就特定的對象完成了一次實際的應用案例。目前個別的應用問題在此系統上發展安全協定的程式時，使用者必須相當熟悉其架構與程式庫細節，才能開發所需程式，造成推廣上的障礙。有鑑於此，本計畫擬採用領域專屬語言(domain-specific language)的方法與技術，針對一般安全多方協定程式的特徵來進行歸納與分析，找出協助其表達計算步驟的適當抽象機制，發展出一套協定描述語言與其編譯器，協助領域專家以更簡便的方式來設計與實驗更多的安全多方協定。這個規劃中的協定描述語言除了支援基礎的計算與程式化功能外，也將提供使用者訂定資料來源與安全限制的宣告機制。它的編譯器除了需要將使用者寫的協定程式內的運算轉換成使用安全的運算函數外，也必須採用靜態分析的技術來檢視程式，一方面確保任一方的資料不會外洩給對方；另一方面省去不必要的保護，以提昇所編譯出的程式的執行效能。
    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.
    Relation: 商品化
    學術補助
    研究期間:10008~ 10107
    研究經費:657仟元
    Data Type: report
    Appears in Collections:[資訊科學系] 國科會研究計畫

    Files in This Item:

    File SizeFormat
    index.html0KbHTML2645View/Open


    All items in 政大典藏 are protected by copyright, with all rights reserved.


    社群 sharing

    著作權政策宣告 Copyright Announcement
    1.本網站之數位內容為國立政治大學所收錄之機構典藏，無償提供學術研究與公眾教育等公益性使用，惟仍請適度，合理使用本網站之內容，以尊重著作權人之權益。商業上之利用，則請先取得著作權人之授權。
    The digital content of this website is part of National Chengchi University Institutional Repository. It provides free access to academic research and public education for non-commercial use. Please utilize it in a proper and reasonable manner and respect the rights of copyright owners. For commercial use, please obtain authorization from the copyright owner in advance.

    2.本網站之製作，已盡力防止侵害著作權人之權益，如仍發現本網站之數位內容有侵害著作權人權益情事者，請權利人通知本網站維護人員(nccur@nccu.edu.tw)，維護人員將立即採取移除該數位著作等補救措施。
    NCCU Institutional Repository is made to protect the interests of copyright owners. If you believe that any material on the website infringes copyright, please contact our staff(nccur@nccu.edu.tw). We will remove the work from the repository and investigate your claim.
    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - Feedback