Geri Dön

Fair and secure multi-two party computation and multi party fair exchange

Adaletli ve güvenli çoklu-ikili ortaklaşa hesaplama ve çok kişili adil takas

  1. Tez No: 367657
  2. Yazar: HANDAN KILINÇ
  3. Danışmanlar: YRD. DOÇ. DR. ALPTEKİN KÜPCÜ
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2014
  8. Dil: İngilizce
  9. Üniversite: Koç Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilgisayar Bilimleri ve Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 105

Özet

Normalde, iki ve çok kişili ortaklaşa hesaplama protokollerinde güvenilir üçüncü bir şahıs olmadan veya çok maliyetli olan kademeli olarak bırakma (gradual-release) protokolleri kullanılmadan adalet sağlamaz. Güvenilir üçüncü şahıs kullanan iki veya çok kişili adil ortaklaşa hesaplama protokollerinde ya güvenilir kişiye çok iş düşüyor ya da elektronik ödeme ile adalet sağlanıyor. Ayrıca bu protokollerin çoğunda adil ve güvenli oldukları ayrı ayrı ispatlanmış. Bu yüzden bu protokoller bazı güvenlik açıklarına yol açabilirler. Bu sorunları çözmek için devre kullanan, iki veya çok sayıda ikisi içeren ortaklasa hesaplama protokollerini adil yapan iki yeni yapı oluşturduk. Bu iki yeni yapı iki veya çok kişili ortaklaşa hesaplama protokollerine çok az ek yük getiriyor. Güvenilir üçüncü şahıs hesaplamanın girdi ve çıktılarıyla ilgili hiç bir bilgi öğrenmiyor. Ayrıca ikili ortaklaşa hesaplamayı adil yapan yapımız, partiler arasında eşit yük vererek de adaleti sağlamış oluyor. Her iki yapıyla verdiğimiz adil ve güvenli ortaklaşa hesaplama protokollerinin adil ve güvenli olduklarını birlikte göstererek ispatladık (simülatör kullanarak) ve böylece hiç bir güvenlik açığının olmadığını göstermiş olduk. Çok kişili ortaklasa hesaplamayı adil yapan yapımız yeni oluşturduğumuz çok kişili adil takas protokolünü kullanmaktadır. Çok kişili adil takas (MFE), çalışılan bir araştırma alandır ve pratikte önemli bir yere sahiptir. Bizim araştırdığımız senaryo her partinin takas etmek istediği bir nesnesinin olduğu ve takas sonunda her partinin istediği nesneyi aldığı ya da hiç bir partinin hiçbir şey alamadığı senaryodur. Güvenilir üçüncü şahısın (TTP) adaleti sağlamak için zorunlu olduğu durumlarda takas protokolüne girdiği durumu tüm protokollerimizde kullandık. Oluşturduğumuz protokoller güvenilir üçüncü şahısa karsı da gizliliği sağlamaktadır. Sabit sayıda O(n^2) mesaj gerektiren (n kisi sayısı) iki çok kişili adil takas protokolü oluşturduk. Protokollerin birinde, kisiler sadece etkin olarak doğruluğunu gösterebildikleri nesneleri takas edebilmektedirler (örn. bir kontratı ortaklasa imzalama). Diğer protokolümüzde, kisiler etkin olarak ya da etkin olmadan doğruluklarını gösterebildikleri herhangi bir nesneyi takas edebilirler. Bunu elektronik ödeme sistemlerinden yaralanarak basardık. Burada eğer bir kisi istediği nesneyi her hangi bir kişiden alamazsa, onun yerine karşı taraftan bir ödeme yapılıyor. Daha sonra bu iki takas protokolünün herhangi bir takas topolojisine adapte edilebileceğini gösterdik. Takas protokollerimiz n - 1 tane kisi kötü niyetli olsa bile adil olma özelliğini koruyorlar.

Özet (Çeviri)

Secure computation cannot be fair in general against malicious adversaries, unless a trusted third party (TTP) is involved, or gradual-release type of costly protocols with super-constant rounds are employed. Existing optimistic fair and secure computation protocols with constant rounds are either too costly to arbitrate (e.g., the TTP may need to re-do almost the whole computation), or require the use of electronic payments or bitcoins. Furthermore, most of the existing solutions were proven secure and fair separately, which, we show, may lead to insecurity overall. Therefore, we propose two new framework for secure two-party and multi-party computation that can be applied on top of both circuit based secure computation protocols to make them fair. We show that our fairness overhead is minimal with these frameworks, compared to all known existing work, and the TTP never learns the inputs or outputs of the computation. Furthermore, our framework for the two party computation makes a protocol fair even in terms of the work performed by the two parties Alice and Bob. We also prove that the frameworks makes a circuit based secure computation protocol fair and secure simultaneously, through one simulator, which guarantees that our fairness extensions do not leak any information. The framework for fair and secure multi-party computation includes multi-party fair exchange protocol that we designed. Multi-party fair exchange (MFE) is understudied field of research, with practical importance. We examine MFE scenarios where every participant has some item, and at the end of the protocol, either every participant receives every other participant's item, or no participant receives anything. This is a particularly hard scenario, even though it is directly applicable to protocols such as fair SMPC or multi-party contract signing. We analyze the case where a trusted third party (TTP) is optimistically available, although we emphasize that the trust put on the TTP is only regarding the fairness, and our protocols preserve the privacy of the exchanged items against the TTP. We construct two asymptotically optimal multi-party fair exchange protocols that require a constant number of rounds, in comparison to linear, and O(n^2) messages, in comparison to cubic, where n is the number of participating parties. In one protocol, we enable the parties to efficiently exchange any item that can be efficiently put into a verifiable escrow (e.g., signatures on a contract). In our other protocol, we let the parties exchange any verifiable item, without the constraint that it must be efficiently put into a verifiable escrow (e.g., a file cannot be efficiently verifiably escrowed, but if its hash is known, once obtained, the file can be verified). We achieve this via use of electronic payments, where if an item is not obtained, the payment of its owner will be obtained in return of the item that we sent. We then generalize our protocols to handle any exchange topology efficiently. Our protocols guarantee fairness in its strongest sense: even if all n-1 other participants are malicious and colluding, fairness will hold.

Benzer Tezler

  1. Incentive compatible and provably secure blockchain applications

    Teşvik uyumlu ve ispatlanabilir güvenli blokzincir uygulamaları

    OSMAN BİÇER

    Doktora

    İngilizce

    İngilizce

    2022

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolKoç Üniversitesi

    Bilgisayar Bilimleri ve Mühendisliği Ana Bilim Dalı

    DOÇ. DR. ALPTEKİN KÜPÇÜ

  2. Kentsel mekanın, deprem risklerinin azaltılmasına yönelik yeniden organizasyonu ve bir toplumsal katılım süreci

    Reorganization of urban space in order to mitigate earthquake risks, and a process for social participation

    SÜLEYMAN BALYEMEZ

    Doktora

    Türkçe

    Türkçe

    2010

    Şehircilik ve Bölge Planlamaİstanbul Teknik Üniversitesi

    Şehir ve Bölge Planlama Ana Bilim Dalı

    PROF. DR. LALE BERKÖZ

  3. Kıbrıs: Yeni devlet yapılanmasında bir çözüm önerisi olarak fedarasyon

    Cyprus: Federation as a solution advise in the law state establishment

    HAKAN AKSOY

    Yüksek Lisans

    Türkçe

    Türkçe

    2005

    Kamu YönetimiUludağ Üniversitesi

    Kamu Yönetimi Ana Bilim Dalı

    DOÇ.DR. BEKİR PARLAK

  4. John Rawls ve Thomas Pogge'de küresel adalet düşüncesi ve insan hakları

    The idea of global justice and human rights in John Rawls and Thomas Pogge

    GAMZE KANIMDAN

    Doktora

    Türkçe

    Türkçe

    2013

    FelsefeMaltepe Üniversitesi

    Felsefe Ana Bilim Dalı

    PROF. DR. İOANA KUÇURADİ

  5. A fair and secure cache architecture for multi-threaded processors

    Çoklu işparçacıklı işlemciler için adaletli ve güvenli bir önbellek mimarisi

    SERCAN SARI

    Yüksek Lisans

    İngilizce

    İngilizce

    2019

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolYeditepe Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. DR. ONUR DEMİR

    DOÇ. DR. GÜRHAN KÜÇÜK