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

More documents

Recommendations

Info

54 Rozdział 3. Bezpieczne bizantyjskie uzgadnianie wiadomości a-queue dla tej samej rundy r. Z otrzymanych odpowiedzi konstrułowany jest wektor W i wektorem podpisów S, dla którego uruchamiany jest protokół wielowartościowego bizantyjskiego uzgadniania v-propose. Wartości oznaczone w wektorze V [j] =1rozgłaszane są jako a-delivered ipootrzymaniu potwierdzenia trafiają do d isąusuwanezq. Uwagi. Atomowe rozgłaszanie wprowadza porządek odbioru dla nadawanych komunikatów gwarantując, że nie dojdzie do sytuacji, że komunikaty przez jednego użytkownika zostaną odebrane w innej kolejności niż przez innych uczestników. Bizantyjskie uzgadnianie jest techniką, która pozwala ustalić kolejność nadejścia komunikatów przez użytkowników dla danej rundy r oraz gwarantuje, że wiadomość zostanie dostarczona do wszystkich poprawnie działających uczestników, bądź do żadnego z nich. 3.4.3 Działanie algorytmu SC-ABC SC-ABC rozpoczyna działanie po odebraniu przez i wiadomości ( ID, in, s- broadcast, c ), która zostaje rozgłoszona do wszystkich uczestników, używając komunikatu a-broadcast protokołu ABC. Wiadomość c jest zaszyfrowana E 1 kryptosystemem progowym (n, t +1)tak, że zebranie t +1udziałów odszyfrowujących δ pozwala ją odszyfrować. Po odszyfrowaniu wiadomości c zostaje wysłanie potwierdzenie do reszty uczestników. Replikacja usługi przy użyciu SC-ABC obywa się wykonując następujące kroki: 1. Klient wysyła zlecenie c, do jakiejkolwiek z replik. 2. Replika rozgłasza c używając komunikatu s-broadcast, tak, że po odebraniu t +1udziałów ρ j odszyfrowuje zlecenie m zawarte w szyfrogramie c i je wykonuje. 3. Replika rozgłasza stan s do innych replik używając komunikatu v-propose. Gdy stan s zostanie ustalony, jest on oznaczany przez replikę, jako stabilny. Protokół bezpiecznego atomowego rozgłaszania gwarantuje tajność wiadomości, gdyż dopiero potwierdzenie przez t+1 uczestników pozwala odszyfrować nadany komunikat. Kroki wykonywane przez protokół najwyższego poziomu są oczywiste, dlatego prawdziwa trudność leży w zrozumieniu działania protokółów niższego rzędu.
3.5 Podsumowanie 55 3.5 Podsumowanie W tym rozdziale przedstawiłem dwa podejścia do rozwiązania problemu replikacji odpornej na błędy bizantyjskie. Oba opisane algorytmy uzależnione są od technik kryptograficznych. Algorytm BFT jest mocno ukierunkowany na rozwiązanie zadania replikacji usługi i jego działanie sprowadza się do rozwiązania podstawowych problemów spowodowanych niepoprawnym działaniem repliki. SC-ABC ma bardzo dobre właściwości ze względu na modularną budowę, ale nie precyzuje, jak uczestnicy mają postępować w przypadku załamania (rozpadu) grupy replik. SC-ABC lepiej radzi sobie z uporządkowaniem i bezpieczeństwem nadawanych wiadomości używając kryptografii progowej, ale przypłaca to brakiem możliwości rekonfiguracji składu grupy. Wadą obydwu algorytmów jest brak jednoznacznej reakcji na sytuację, gdy replika całkowicie opuszcza grupę i należałoby ją wykluczyć z dalszej komunikacji oraz włączenie nowej repliki. Oba przypadki są podstawowym i najczęściej spotykanym zachowaniem replik w rozproszonych tablicach z kodowaniem mieszającym implementowanych na bazie systemów peer-to-peer. Wynika z tego, że potrzebne są algorytmy, które w łatwy sposób zaradzą tym problemom i jednocześnie będą wystarczająco proste i efektywne, by móc zastosować je w środowisku całkowicie rozproszonym.
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 and 52: 3.4 Algorytm SC-ABC 51 Secure Causa
Page 53: 3.4 Algorytm SC-ABC 53 będzie pode
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 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 ...