學術產出-國科會研究計畫

文章檢視/開啟

書目匯出

Google ScholarTM

政大圖書館

引文資訊

TAIR相關學術產出

題名 安全多方計算協定描述語言之設計與實作(II)
其他題名 A Protocol Description Language for Secure Multi-Party Computation
作者 陳恭;徐讚昇;穆信成
資科系
關鍵詞 安全多方計算;隱私保護;領域專屬語言;靜態分析
日期 2012
上傳時間 27-七月-2015 16:59:25 (UTC+8)
摘要 安全多方計算的研究主要是針對在分散環境下的兩造(或多方)之間,如何在不透露彼此私有的資料的情況下,計算一個約定函數的問題,並要確保除計算結果及其可能推導出的資訊,不會洩漏額外的私有資料。依此設計出來的函數算法,稱為安全的多方計算協定(protocol)。本計畫採用領域專屬語言(domain-specific language)的方法與技術,針對一般安全多方協定程式的特徵來進行歸納與分析,找出協助其表達計算步驟的適當抽象機制,發展出一套協定描述語言與其編譯器,協助領域專家以更簡便的方式來設計與實驗更多的安全多方協定。
關聯 計畫編號NSC100-2221-E004-002-MY3
資料類型 report
dc.creator (作者) 陳恭;徐讚昇;穆信成zh_TW
dc.creator (作者) 資科系zh_TW
dc.date (日期) 2012
dc.date.accessioned 27-七月-2015 16:59:25 (UTC+8)-
dc.date.available 27-七月-2015 16:59:25 (UTC+8)-
dc.date.issued (上傳時間) 27-七月-2015 16:59:25 (UTC+8)-
dc.identifier.uri (URI) http://nccur.lib.nccu.edu.tw/handle/140.119/76983-
dc.description.abstract (摘要) 安全多方計算的研究主要是針對在分散環境下的兩造(或多方)之間,如何在不透露彼此私有的資料的情況下,計算一個約定函數的問題,並要確保除計算結果及其可能推導出的資訊,不會洩漏額外的私有資料。依此設計出來的函數算法,稱為安全的多方計算協定(protocol)。本計畫採用領域專屬語言(domain-specific language)的方法與技術,針對一般安全多方協定程式的特徵來進行歸納與分析,找出協助其表達計算步驟的適當抽象機制,發展出一套協定描述語言與其編譯器,協助領域專家以更簡便的方式來設計與實驗更多的安全多方協定。
dc.format.extent 136 bytes-
dc.format.mimetype text/html-
dc.relation (關聯) 計畫編號NSC100-2221-E004-002-MY3
dc.subject (關鍵詞) 安全多方計算;隱私保護;領域專屬語言;靜態分析
dc.title (題名) 安全多方計算協定描述語言之設計與實作(II)zh_TW
dc.title.alternative (其他題名) A Protocol Description Language for Secure Multi-Party Computation
dc.type (資料類型) reporten