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