Implementing e-auctions with sharemind MTAT.07.006 Research Seminar in Cryptography Md.Sadek Ferdous.

Slides:



Advertisements
Similar presentations
McGraw-Hill/Irwin © 2003 The McGraw-Hill Companies, Inc.,All Rights Reserved. 肆 資料分析與表達.
Advertisements

第七章 抽樣與抽樣分配 蒐集統計資料最常見的方式是抽查。這 牽涉到兩個問題: 抽出的樣本是否具有代表性?是否能反應出母體的特徵?
: A-Sequence 星級 : ★★☆☆☆ 題組: Online-judge.uva.es PROBLEM SET Volume CIX 題號: Problem D : A-Sequence 解題者:薛祖淵 解題日期: 2006 年 2 月 21 日 題意:一開始先輸入一個.
:Word Morphing ★★☆☆☆ 題組: Problem Set Archive with Online Judge 題號: 10508:word morphing 解題者:楊家豪 解題日期: 2006 年 5 月 21 日 題意: 第一行給你兩個正整數, 第一個代表下面會出現幾個字串,
Advanced Chemical Engineering Thermodynamics
“Rule” By OX. By Check CREATE TABLE 員工薪資 ( 編號 int IDENTITY PRIMARY KEY, 薪資 smallmoney, CHECK ( 薪資 > 0 AND 薪資
3Com Switch 4500 切VLAN教學.
A Capability-based Privacy- preserving Scheme for Pervasive Computing Environments Dyvyan M. Konidala Dang N. Duc Dongman Lee Kwangjo Kim Proceedings of.
What is static?. Static? 靜態 ? class Test { static int staticX; int instanceX; public Test(int var1, int var2) { this.staticX = var1; this.instanceX =
1 Web of Science 利用指引 單元二 瀏覽與處理查詢結果. 2 瀏覽檢索結果 查出的結果,預設以時間排列, 使用者可改變結果的排列方式: 還可以依被引用次數、相關度、 第一作者、刊名、出版年等排序 回到前先查的結果畫面 點選想看資料的完整書目 本館訂購範圍的期刊 全文,便可直接連結.
亂數產生器安全性評估 之統計測試 SEC HW7 姓名:翁玉芬 學號:
Review of Chapter 3 - 已學過的 rules( 回顧 )- 朝陽科技大學 資訊管理系 李麗華 教授.
1 Secure Context-sensitive Authorization 2005 Author : Kazuhiro Minami, David Kotz Presented by Shih Yu Chen.
: OPENING DOORS ? 題組: Problem Set Archive with Online Judge 題號: 10606: OPENING DOORS 解題者:侯沛彣 解題日期: 2006 年 6 月 11 日 題意: - 某間學校有 N 個學生,每個學生都有自己的衣物櫃.
貨幣創造與控制 CHAPTER 27 學習本章後,您將能: C H A P T E R C H E C K L I S T 解釋銀行如何藉由放款而創造貨幣 1 解釋中央銀行如何影響貨幣數量 2.
Chapter 2 聯立線性方程式與矩陣 緒言 線性方程式組 (systems of linear equations) 出現 在多數線性模式 (linear model) 中。根據以往解 題的經驗,讀者們也許已發現方程式的解僅與 該方程式的係數有關,求解的過程也僅與係數 的運算有關,只要係數間的相關位置不改變,
STAT0_sampling Random Sampling  母體: Finite population & Infinity population  由一大小為 N 的有限母體中抽出一樣本數為 n 的樣 本,若每一樣本被抽出的機率是一樣的,這樣本稱 為隨機樣本 (random sample)
第 4 章 迴歸的同步推論與其他主題.
各種線上電子資源的特異功能 STICnet 的 SDI 專題訂閱服務 2003/4/28 修改. 無論校內外皆可使用。連線至
McGraw-Hill/Irwin © 2003 The McGraw-Hill Companies, Inc.,All Rights Reserved. 肆 資料分析與表達.
Monte Carlo Simulation Part.2 Metropolis Algorithm Dept. Phys. Tunghai Univ. Numerical Methods C. T. Shih.
台灣地區數位簽章之現況 分析 指導老師:吳有龍 班級:進修資管四 A 學生姓名:吳俊穎 學號: B.
Chapter 13 塑模靜態觀點:物件圖 Static View : Object Diagram.
Introduction to Java Programming Lecture 17 Abstract Classes & Interfaces.
寡頭壟斷.  是指在市場上存在幾個重要銷售商的一 種市場結構。其特徵包括 :  存在幾個重要的銷售商  出售相似但非完全一樣的貨品  新廠商加入市場時受到限制  市場資訊並不完全流通.
1 第十四章 職業道德 職業道德是一個人在行業工作內表現的道德 情操. 2 職業道德貴在實踐 3 學習目標  了解職業道德的意義  了解職業道得的重要性  遵守職業道德規範.
: The largest Clique ★★★★☆ 題組: Contest Archive with Online Judge 題號: 11324: The largest Clique 解題者:李重儀 解題日期: 2008 年 11 月 24 日 題意: 簡單來說,給你一個 directed.
: Fast and Easy Data Compressor ★★☆☆☆ 題組: Problem Set Archive with Online Judge 題號: 10043: Fast and Easy Data Compressor 解題者:葉貫中 解題日期: 2007 年 3.
選舉制度、政府結構與政 黨體系 Cox (1997) Electoral institutions, cleavage strucuters, and the number of parties.
McGraw-Hill/Irwin © 2003 The McGraw-Hill Companies, Inc.,All Rights Reserved. 參 資料蒐集的方法.
行政院國家科學委員會工程技術發展處自動化學門 * 試以國立成功大學製造工程研究所 鄭芳田教授 產學合作計畫 : 智慧預測保養系統之設計與實作 成果報告盤點為範例 國科會工程處專題計畫成果典藏 自動化學門成果報告盤點範例.
1 透過 IT 電子商務和知識管 理應用之探討 指導老師:李富民 教授 報告者:許志傑 學號: 職 1A 報告日期 :97/01/14.
資料庫程式設計與系統管理 SQL Server 2005 Express 第六章 進階資料庫設計.
短缺,盈餘與均衡. 遊戲規則  老師想出售一些學生喜歡的小食。  老師首先講出價錢,有興趣買的請舉手。
: Multisets and Sequences ★★★★☆ 題組: Problem Set Archive with Online Judge 題號: 11023: Multisets and Sequences 解題者:葉貫中 解題日期: 2007 年 4 月 24 日 題意:在這個題目中,我們要定義.
公司加入市場的決定. 定義  平均成本 = 總成本 ÷ 生產數量 = 每一單位產量所耗的成本  平均固定成本 = 總固定成本 ÷ 生產數量  平均變動成本 = 總變動成本 ÷ 生產數量.
:Nuts for nuts..Nuts for nuts.. ★★★★☆ 題組: Problem Set Archive with Online Judge 題號: 10944:Nuts for nuts.. 解題者:楊家豪 解題日期: 2006 年 2 月 題意: 給定兩個正整數 x,y.
教材名稱:網際網路安全之技術及其應用 (編號: 41 ) 計畫主持人:胡毓忠 副教授 聯絡電話: 教材網址: 執行單位: 政治大學資訊科學系.
資料結構實習-一 參數傳遞.
Dynamic Multi-signatures for Secure Autonomous Agents Panayiotis Kotzanikolaou Mike Burmester.
1 Introduction to Java Programming Lecture 2: Basics of Java Programming Spring 2008.
公用品.  該物品的數量不會因一人的消費而受到 影響,它可以同時地被多人享用。 角色分配  兩位同學當我的助手,負責:  其餘各人是投資者,每人擁有 $100 , 可以投資在兩種資產上。  記錄  計算  協助同學討論.
Section 4.2 Probability Models 機率模式. 由實驗看機率 實驗前先列出所有可能的實驗結果。 – 擲銅板:正面或反面。 – 擲骰子: 1~6 點。 – 擲骰子兩顆: (1,1),(1,2),(1,3),… 等 36 種。 決定每一個可能的實驗結果發生機率。 – 實驗後所有的實驗結果整理得到。
函式 Function Part.2 東海大學物理系‧資訊教育 施奇廷. 遞迴( Recursion ) 函式可以「呼叫自己」,這種動作稱為 「遞迴」 此程式的執行結果相當於陷入無窮迴圈, 無法停止(只能按 Ctrl-C ) 這給我們一個暗示:函式的遞迴呼叫可以 達到部分迴圈的效果.
JAVA 程式設計與資料結構 第二十章 Searching. Sequential Searching Sequential Searching 是最簡單的一種搜尋法,此演 算法可應用在 Array 或是 Linked List 此等資料結構。 Sequential Searching 的 worst-case.
演算法 8-1 最大數及最小數找法 8-2 排序 8-3 二元搜尋法.
2010 MCML introduction 製作日期: 2010/9/10 製作人 : 胡名霞.
Chapter 3 Entropy : An Additional Balance Equation
逆向選擇和市場失調. 定義  資料不對稱 在交易其中,其中一方較對方有多些資料。  逆向選擇 出現在這個情況下,就是當買賣雙方隨意在 市場上交易,與比較主動交易者作交易為佳 。
產出外界效果的權利. 外界效果  是社會成本和私人成本發生分歧的原因。 外界效果可以是成本,也可以是收益。
845: Gas Station Numbers ★★★ 題組: Problem Set Archive with Online Judge 題號: 845: Gas Station Numbers. 解題者:張維珊 解題日期: 2006 年 2 月 題意: 將輸入的數字,經過重新排列組合或旋轉數字,得到比原先的數字大,
Structural Equation Modeling Chapter 6 CFA 根據每個因素有多重指標,以減少 測量誤差並可建立問卷的構念效度 驗證性因素分析.
Learning Method in Multilingual Speech Recognition Author : Hui Lin, Li Deng, Jasha Droppo Professor: 陳嘉平 Reporter: 許峰閤.
: Function Overloading ★★★☆☆ 題組: Problem Set Archive with Online Judge 題號: 11032:Function Overloading 解題者:許智祺 解題日期: 2007 年 5 月 8 日 題意:判對輸入之數字是否為.
演算法課程 (Algorithms) 國立聯合大學 資訊管理學系 陳士杰老師 Course 7 貪婪法則 Greedy Approach.
網路介紹及其運用 講師陳炯勳. 5-2 IP 協定 ( 一 ) IP 協定運作 (1) – 網路成員:主機 (Host) 與路由器 (Router) – 路由表 – 電報傳輸運作.
1 Introduction to Java Programming Lecture 2: Basics of Java Programming Spring 2009.
連續隨機變數 連續變數:時間、分數、重量、……
Teacher : Ing-Jer Huang TA : Chien-Hung Chen 2015/6/30 Course Embedded Systems : Principles and Implementations Weekly Preview Question CH7.1~CH /12/26.
: Wine trading in Gergovia ★★☆☆☆ 題組: Contest Volumes with Online Judge 題號: 11054: Wine trading in Gergovia 解題者:劉洙愷 解題日期: 2008 年 2 月 29 日 題意:在 Gergovia.
1 Introduction to Java Programming Lecture 2: Basics of Java Programming Spring 2010.
: Finding Paths in Grid ★★★★☆ 題組: Contest Archive with Online Judge 題號: 11486: Finding Paths in Grid 解題者:李重儀 解題日期: 2008 年 10 月 14 日 題意:給一個 7 個 column.
:Problem E.Stone Game ★★★☆☆ 題組: Problem Set Archive with Online Judge 題號: 10165: Problem E.Stone Game 解題者:李濟宇 解題日期: 2006 年 3 月 26 日 題意: Jack 與 Jim.
第12章 團體溝通情境中的領導者.
著作權所有 © 旗標出版股份有限公司 第 14 章 製作信封、標籤. 本章提要 製作單一信封 製作單一郵寄標籤.
幼兒行為觀察與記錄 第八章 事件取樣法.
Chapter 12 Estimation 統計估計. Inferential statistics Parametric statistics 母數統計 ( 母體為常態或 大樣本 ) 假設檢定 hypothesis testing  對有關母體參數的假設,利用樣本資料,決定接受或 不接受該假設的方法.
McGraw-Hill/Irwin © 2003 The McGraw-Hill Companies, Inc.,All Rights Reserved. 肆 資料分析與表達.
1 Chapter 6 利率的風險 與期間結構. 2 前 言 本章將探討: 不同利率之間相互的關係以展現利率的全貌 影響利率波動的來源與導因 利率的風險結構 利率的期間結構.
Presentation transcript:

Implementing e-auctions with sharemind MTAT Research Seminar in Cryptography Md.Sadek Ferdous

Outline Introduction Type of auction Problems with the traditional auction Electronic Auctions Proposed Solution Conclusion

Introduction Auction is a flexible trading method based on competition. 探討電子式拍賣的安全性與常見的議題

Outline Introduction Type of auction Problems with the traditional auction Electronic Auctions Proposed Solution Conclusion

Open cry auction( 公開競價拍賣 ) English auction( 英國式 )

Open cry auction( 公開競價拍賣 ) Dutch auction( 荷蘭式 )

Sealed bid auction( 密封式競價拍賣 ) Sealed first priced auction ( 密封第一次競價拍賣 )

Sealed bid auction( 密封式競價拍賣 ) Vickrey auction

Multi-item auction( 多物品拍賣 ) Discriminative auction( 區分式拍賣 )

Multi-item auction( 多物品拍賣 ) Non-discriminate auction ( 不區分式拍賣 )

Multi-item auction( 多物品拍賣 ) Combinatorial auction( 組合式拍賣 )

Multi-item auction( 多物品拍賣 ) Walrasian auction

All pay auction( 標會 )

Buyout auction( 買斷 ) Permanent( 永久式 )

Buyout auction( 買斷 ) Temporary( 臨時式 )

No-reserve auction( 不預定式拍買 )

Reserve auction( 預定式拍賣 )

Reverse auction( 反轉式拍賣 )

Round robin auction

Outline Introduction Type of auction Problems with the traditional auction Electronic Auctions Proposed Solution Conclusion

Bid shielding

Collusion( 共謀 )

Bid schilling

Bid sniping

Bid siphoning

Misrepresented or non-existent items

Outline Introduction Type of auction Problems with the traditional auction Electronic Auctions Proposed Solution Conclusion

Advantage No time constraint( 無時間限制 ) No geographical constraint( 無地點限制 ) Potentially large number of sellers and buys( 潛在地大量賣家與買家 )

Challenge Mode of payment( 付款模式 ) Fraudulency( 詐欺 ) Posting winning item( 得標物品傳送 ) Dependability and security( 可靠性與安全性 ) Guarding against problems of traditional auction( 預防傳統拍賣問題 ) The bidding process as a whole( 競價過程是 整體性 )

Auction process(1/2) Initialization( 初始 )  拍賣商或是線上拍賣管理者設定以下資訊並公 開:預拍賣物品清單、先訂好的規則與期限。 Bidder registration( 買家登記 )  有人想要參與競價時必須註冊登記,此時他必 須提供個人資料,用這作為付款依據。這步驟用 來確保只有有效的買家才能參與競價過程。

Auction process(2/2) Bidding( 競價 )  在這階段,有效的買家可以對物品出價。拍賣商 檢查其有效性,也要確定是否遵守競價規則,如果 所有要求達成,這競價價格就被接受。 Winner determination( 決定得標者 )  根據競價方針,能在任何時間或是期限之後決定 得標者。這個過程,拍賣商要相當關鍵且保證公平, 這必須要公開驗證。

Security considerations of online auction(1/3) Unforgeability( 非偽造性 )  每個買家應該是自然且獨特,這樣不會被其他 買家所偽裝。 Non-repudiation( 不可否認性 )  我們必須確保買家的競價是不可否認的,這樣 當買家得標後不會拒絕這次交易。

Security considerations of online auction(2/3) Anonymity( 匿名性 )  在競價價格與買家之間不能是線性相關。 Public verifiability( 公開驗證 )  所有競價必須要公開驗證,讓任何買家都能遵循 在拍賣協定中檢查競價。這樣不僅能保有有效性且 能讓其他買家確認得標者。

Security considerations of online auction(3/3) Robustness( 堅實性 )  拍賣系統必須不受違法競價與無效買家所影響。 Efficiency( 效率性 )  Time complexity 包含檢查有效的競價與買家、決 定得標者、註冊等等。 Fairness( 公平性 )  所有競價與買家的優勢必須相同。

Design issues(1/2) Trust issue  協定設計依賴拍賣商的可信賴度。如果假設拍 賣商是可信賴的,那麼一些問題就解決了,但是 仍有幾個問題。所以總是有理由的假設拍賣商是 不可信賴的且協定的設計要在這假設之下,這樣 能透過 TTP 來協商,才能信任。

Design issues(2/2) Anonymity issue  競價價格與買家不能有線性關係,這樣才有高等 級的公平性。兩個團體的群體簽章,能達成匿名性。 Bid authentication issue  每筆競價必須有確切的認證,才不會被無效的買 家出價。群體簽章也能達成。

Outline Introduction Type of auction Problems with the traditional auction Electronic Auctions Proposed Solution Conclusion

Sharemind(1/2) Secret Sharing 的技術 必須要所有 Share 有效,才能把 Secret 還原 由 miner node 與 controller node 所組成

Sharemind(2/2) Controller 1 Controller 2 Controller n Miner 1 Data Base Stack Data Base Stack Data Base Stack

The parties of E-Auction(1/2) Auctioneer  建立一個拍賣並公開。提供一個臨時的 token 給 每一個獨立的買家。 Bidder  任何一個對這拍賣有興趣想參與的人。 Registrar  註冊每一個有效的買家,並提供 secret key 給買 家使用。

The parties of E-Auction(2/2) Miners  執行匿名計算並對競價資料作 data mining algorithm 。也能驗證競價資料的有效性。 Controller  提供 interface 在買家跟 miner 之間。每一筆買家的 競價由 miner 核可後送到 controller 。也在競價資料 上簽名做為買家的代表。

Auction step - Initialization 拍賣商建立一個拍賣,並公開。 Registrar 設定 group certificate 。

Auction step - Registration 想要參與的買家必須註冊。他產生他自己的 公密鑰對。買家寄訊息給拍賣商,拍賣商給 買家 token 。 買家用接收到的 token 與 registrar 溝通。驗證 token , registrar 發 identity 與 group certificate 給買家。買家把公鑰給 registrar 。

Auction step – Bidding(1/2) 每一筆競價資料都送到 controller , controller 用買家的 private key 對競價資料簽章並切成 3 份 share ,每份 share 都用 group certificate 所 產生的 group signature 簽章。用 private key 簽章能增加競價的驗證性;群簽則是增加匿 名性。

Auction step – Bidding(2/2) 3 份 share 分別寄給不同的 miner 。每個 miner 用 group public key 對 share 驗證其有效性,並儲 存到自己的 database 。由於 group signature 的 unlikable 特性,對任何的 miner 都不可能知道 每筆 share 跟買家之間的關聯。 拍賣期間結束, miner 決定最高競價並把競價 與對應的簽章寄給拍賣商。

Auction step - Winner Determination(1/2) 拍賣商公開得標價,並詢問得標者的 identity 得標者回應他的 identity 並在對應的競價資料 簽章。 拍賣商與 registrar 溝通,來取得 public key 與 identity 有關聯的 token

Auction step - Winner Determination(2/2) 拍賣商驗證簽章是否跟競價資料簽章符合。 如果符合,拍賣商公開得標者 identity 如果有多筆相同競價資料或是多個得標者, 將進行第二回合的拍賣,但是不用執行 registration phase

Outline Introduction Type of auction Problems with the traditional auction Electronic Auctions Proposed Solution Conclusion

利用 Sharemind 跟群簽的組合來實作電子拍賣 只有 Sealed bid auction( 密封式競價拍賣 ) 才有 價值,希望能發展其他形式的拍賣。