OdpornoÅÄ na bÅÄdy bizantyjskie w systemach peer-to-peer - Instytut ...

More documents

Recommendations

Info

48 Rozdział 3. Bezpieczne bizantyjskie uzgadnianie Wyjście - ( ID, out , akcja, typ ) i Protokół - ( ID, akcja, ··· ) i Istnieją dwie ważne akcje w przypadku wiadomości kategorii protokołu: (1) open, która otwiera instancję protokołu, oraz (2) halt, zamykająca wykonanie instancji protokołu wskazanego przez ID. Bizantyjskie uzgadnianie. Protokół rozpoczyna działanie gdy do uczestnika i zostanie doręczony komunikat ( ID, in, propose, v ) i , gdzie v ∈{0, 1}. Zakończenie protokołu dla i-tego uczestnika następuje gdy nada on komunikat ( ID, out, decide, v ) i . W oparciu o przedstawione założenia, binarne bizantyjskie uzgadnianie można rozumieć jako protokół spełniający cztery następujące postulaty: Poprawność. Wszyscy poprawnie działający uczestnicy protokołu jeżeli rozpoczynają uzgadnianie podając wartość jako decyzję v, to akceptują wartość v. Uczciwość. Jeżeli jakiś poprawnie działający uczestnik zaakceptował v, to zakończył działanie protokołu z wartością v. Żywotność. uzgadnianiu. Wszyscy poprawnie działający uczestnicy biorą udział w Wydajność. Protokół jest probabilistycznie jednostajnie ograniczony. Pierwszy postulat jest bardzo mocny i nie zezwala na początkową niezgodność co do wartości v zaproponowaną przez uczciwych uczestników. Nie dopuszcza się do zaistnienia sytuacji, w której jakiś z uczciwych uczestników protokołu się pomylił. 3.4.1 Kryptografia progowa SC-ABC używa w dużym stopniu nowoczesnych technik kryptograficznych. Jego szkielet oparty jest na mechanizmach kryptografii progowej. Prosty schemat kryptografii progowej z kluczem publicznym przedstawiono na rysunku 3.3. Współdzielenie sekretu. Najłatwiej zrozumieć działanie kryptografii progowej na przykładzie prostego algorytmu zaproponowanego przez A. Shamira [Sha79]. Celem tego algorytmu jest umożliwienie k z n uczestników zrekonstruowanie wiadomości (sekretu) D. Jeżeli uczestników będzie mniej niż k to nie będą oni w stanie uzyskać jakiejkolwiek informacji o D. Algorytm używa prostej interpolacji wielomianem:
3.4 Algorytm SC-ABC 49 Rysunek 3.3: Przykład schematu (2 z 3) kryptografii progowej z kluczem publicznym. Klucz publiczny składa się z trzech udziałów. Ta sama wiadomość szyfrowana jest przez trzech uczestników. Jeden z uczestników gubi szyfrogram, lub ulega on zniszczeniu. Odszyfrowanie wiadomości przy pomocy klucza prywatnego nadal pozostaje możliwe, gdyż wystarczą do tego pozostałe dwa szyfrogramy. q(x) =a 0 + a 1 x + a 2 x 2 + a k−1 x k−1 , a 0 = D w ciele modulo p, gdzie p jest liczbą pierwszą większą od D oraz n. Współczynniki wielomianu są wylosowane zgodnie z rozkładem jednostajnym a i ∈ [0,p). Każda z części sekretu D wyznaczona jest w taki sposób, że: D 1 = q(1),D 2 = q(2) ···,D n = q(n) Posiadając k z części D wraz z ich identyfikatorami, możliwe jest poprzez interpolację określenie współczynników w q(x), a co za tym idzie obliczenie D = q(0), które jest sekretem. Pozostaje pokazać co stanie się gdy ktoś przechwyci k − 1 udziałów. Dla każdego D ′ ∈ [0,p) może skonstruować wielomian q ′ (x), któryspełniaD ′ = q ′ (0) oraz D i = q ′ (i). Z założenia każdy z tych p wielomianów z jednakowym prawdopodobieństwem, jest poszukiwanym wielomianem q(x). Zatem, jeżeli p jestdużeorazatakującyniemażadnych dodatkowych informacji o D, to nie będzie w stanie określić właściwego q(x) stosując inną metodę niż atak brutalny (sprawdzenie wszystkich możliwych wartości). Ten schemat jest bardzo prosty, jednak wystarczająco dobrze ilustruje istotę kryptografii progowej.
Page 1: Politechnika Warszawska Wydział El
Page 4 and 5: 4 SPIS TREŚCI 3.4 Algorytm SC-ABC
Page 6 and 7: 6 Rozdział 1. Wprowadzenie tyjskic
Page 8 and 9: 8 Rozdział 1. Wprowadzenie • Bez
Page 10 and 11: 10 Rozdział 1. Wprowadzenie torren
Page 12 and 13: 12 Rozdział 1. Wprowadzenie Zalety
Page 14 and 15: 14 Rozdział 1. Wprowadzenie Proxy
Page 17 and 18: Rozdział 2 Architektury systemów
Page 19 and 20: 19 Overlay level A B C TCP TCP TCP
Page 21 and 22: 2.2 Ustrukturalizowane systemy peer
Page 27 and 28: 2.3 Architektura systemów Chord i
Page 29 and 30: 2.3 Architektura systemów Chord i
Page 31 and 32: 2.4 Bezpieczeństwo w systemach pee
Page 33 and 34: 2.4 Bezpieczeństwo w systemach pee
Page 35 and 36: Rozdział 3 Bezpieczne bizantyjskie
Page 37 and 38: 3.1 Problem bizantyjskich generał
Page 39 and 40: 3.2 Replikacja z uwzględnieniem b
Page 41 and 42: 3.3 Algorytm BFT 41 C 0 1 2 pre-pre
Page 43 and 44: 3.3 Algorytm BFT 43 2. Replika gł
Page 45 and 46: 3.3 Algorytm BFT 45 3.3.4 Proaktywn
Page 47: 3.4 Algorytm SC-ABC 47 pracy nie za
Page 51 and 52: 3.4 Algorytm SC-ABC 51 Secure Causa
Page 53 and 54: 3.4 Algorytm SC-ABC 53 będzie pode
Page 55 and 56: 3.5 Podsumowanie 55 3.5 Podsumowani
Page 57 and 58: 3.5 Podsumowanie 57 Protokół 3.5.
Page 59: 3.5 Podsumowanie 59 Protokół 3.5.
Page 62 and 63: 62 Rozdział 4. Tolerowanie bizanty
Page 85 and 86: Rozdział 5 Projekt systemu Pastor
Page 87 and 88: 5.1 Projekt systemu 87 wykonaniem k
Page 89 and 90: 5.1 Projekt systemu 89 5.1.3 Postar
Page 91 and 92: 5.1 Projekt systemu 91 4 MyPastCont
Page 93 and 94: 5.1 Projekt systemu 93 wydajność,
Page 95: 5.2 Podsumowanie 95 wchodzą w skł
Page 98 and 99:
98 Dodatek A. Elementy teorii graf
Page 100 and 101:
Page 102 and 103:
Page 104 and 105:
104 Dodatek B. Uzgadnianie w asynch
Page 106 and 107:
106 Dodatek B. Uzgadnianie w asynch
Page 109 and 110:
Bibliografia [ADS02] [CC] J. Aspnes
Page 111 and 112:
BIBLIOGRAFIA 111 [DZDS03] [FLP85] [
Page 113:
BIBLIOGRAFIA 113 [Sho00] Victor Sho
show all

OdpornoÅÄ na bÅÄdy bizantyjskie w systemach peer-to-peer - Instytut ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?

OdpornoÅÄ na bÅÄdy bizantyjskie w systemach peer-to-peer - Instytut ...