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

More documents

Recommendations

Info

52 Rozdział 3. Bezpieczne bizantyjskie uzgadnianie wartości możliwe do uzgodnienia przez wielowartościowe bizantyjskie uzgadnianie tylko do v ∈{0, 1} automatycznie uzyskujemy protokół binarnego bizantyjskiego uzgadniania. Rozróżnienie na te dwa przypadki jest uzasadnione, gdyż binarne bizantyjskie uzgadnianie stosowane jest wtedy, gdy np. grupa ma na celu zatwierdzenie transakcji. Przejdę teraz do omówienia po kolei najważniejszych elementów użytych w algorytmie SC-ABC. Założenia. Przyjmiemy, że S będzie oznaczać kryptosystem progowego podpisu cyfrowego, natomiast E będzie progowym schematem szyfrującym. S 1 oznacza schemat podwójnego progowego podpisu cyfrowego typu (n, ⌈ ⌉ n+t+1 2 ,t). Ogólnie schemat (n, κ, t) oznacza, taki kryptosystem, w którym do wykonania operacji potrzeba t
3.4 Algorytm SC-ABC 53 będzie podejmował l, a następnie rozesłać podpis do wszystkich uczestników i oczekiwać na ⌈ ⌉ n+t+1 2 podpisów od innych uczestników, wtedy każdy w grupie staje się nadawcą wiadomości m. Innym podejściem jest założenie, że uczestnicy będą czekali, aż rozsyłający znowu zacznie odpowiadać, ale to może w ogóle nie nastąpić. Protokół 3.5.2. VBA ma na celu ustalenie zaproponowanej wartości wspólnie przez grupę uczestników. Protokół rozpoczyna komunikat ( ID, v-propose, w, π ) l , na który uczestnik odpowiada rozsyłając za pomocą VCBC odpowiedź v-echo wraz z proponowanymi wartościami w oraz π. Nadawca oczekuje na n − t propozycji rozgłoszonych w ten sam sposób od różnych j, które spełniają predykat Q ID . Q ID (w a ,π a ) jest zbiorem możliwych w a i π a , które są poprawne. Forma, wjakiejQ ID jest zrealizowane, jest dowolna, np. może to być zestaw reguł. Q ID musi być ogólnie znane, tak by każdy z uczestników mógł przeprowadzić weryfikację. Uczestnik i buduje tablicę potwierdzeń, gdzie c j =1, gdy j-ty uczestnik nadesłał poprawne w j , następnie rozgłasza ją do pozostałych uczestników. Odebranie n − t tablic C j , w których przynajmniej n − t wpisów jest równych 1, stanowi potwierdzenie, że większość uczestników wysłała poprawne propozycje. Za pomocą progowego podrzucania monetą zostaje wygenerowane losowe ziarno S składające się z t +1 udziałów, które służy do utworzenia permutacji Π. W pętli odbywa się głosowanie według a ←− Π(l) dotyczące wartości w a . Gdy decyzja zostanie podjęta (⊥ również jest dopuszczalną decyzją), i zakańcza protokół. Uwagi. W protokole VBA użyta jest randomizacja. Ta technika została zastosowana, by uniemożliwić atakującemu przewidzenie, w jakiej kolejności będą podawane wartości w j do uzgodnienia. W ten sposób stara się uniknąć tego, by atakujący w momencie uzgadniania wartości, do niektórych uczestników wysłał propozycje korzystniejsze dla niego. Protokół 3.5.3. ABC jest pierwszym protokołem, który można nazwać protokołem wysokiego poziomu. Każdy z uczestników utrzymuje kolejkę q typu FIFO, wiadomości do dostarczenia oraz zbiór d już dostarczonych wiadomości. Po odebraniu wiadomości ( ID, in, a-broadcast, m ) m zostaje wstawione na koniec q, jeżeli m nie jest już w q. W nieskończonej pętli, której każdy przebieg oznaczany jest jako runda r, uczestnik odbiera nową wiadomość lub obsługuje wiadomości już zgromadzone w kolejce. Gdy zostanie odebrana nowa wiadomość a-queue w ←− w l , która nie znajduje się w d, czyli nie jest dostarczona oraz σ l jest poprawnym podpisem dla w l , to zostaje ona obsłużona. W przypadku gdy q nie jest pusta, to pierwsza wiadomość z kolejki wysyłkowej będzie rozesłana do wszystkich uczestników. Po nadaniu komunikatu i czeka na n − t
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 and 48: 3.4 Algorytm SC-ABC 47 pracy nie za
Page 49 and 50: 3.4 Algorytm SC-ABC 49 Rysunek 3.3:
Page 51: 3.4 Algorytm SC-ABC 51 Secure Causa
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: 100 Dodatek A. Elementy teorii graf
Page 102 and 103:
102 Dodatek A. Elementy teorii graf
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 ...

Create successful ePaper yourself

Delete template?

Save as template?

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