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

More documents

Recommendations

Info

4 SPIS TREŚCI 3.4 Algorytm SC-ABC . . . . . . . . . . . . . . . . . . . . . . . . . 46 3.4.1 Kryptografia progowa . . . . . . . . . . . . . . . . . . . 48 3.4.2 Stos protokołów SC-ABC . . . . . . . . . . . . . . . . . 50 3.4.3 Działanie algorytmu SC-ABC . . . . . . . . . . . . . . . 54 3.5 Podsumowanie . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 4 Tolerowanie bizantyjskich uszkodzeń 61 4.1 Algorytm naiwny . . . . . . . . . . . . . . . . . . . . . . . . . . 62 4.2 Założenia projektowe . . . . . . . . . . . . . . . . . . . . . . . . 63 4.3 Zestaw dostępnych operacji . . . . . . . . . . . . . . . . . . . . . 67 4.4 Protokół zachłanny . . . . . . . . . . . . . . . . . . . . . . . . . 69 4.5 Zatwierdzanie stanu . . . . . . . . . . . . . . . . . . . . . . . . . 78 4.6 Protokół optymistyczny . . . . . . . . . . . . . . . . . . . . . . . 82 4.7 Podsumowanie . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 5 Projekt systemu Pastor 85 5.1 Projekt systemu . . . . . . . . . . . . . . . . . . . . . . . . . . . 85 5.1.1 Język implementacji - Java . . . . . . . . . . . . . . . . 86 5.1.2 Bezpieczeństwo wykonania . . . . . . . . . . . . . . . . 86 5.1.3 Postarzanie obiektów . . . . . . . . . . . . . . . . . . . . 89 5.1.4 Zarządzanie dostępem . . . . . . . . . . . . . . . . . . . 92 5.2 Podsumowanie . . . . . . . . . . . . . . . . . . . . . . . . . . . 94 A Elementy teorii grafów 97 A.1 Spójność krawędziowa i wierzchołkowa . . . . . . . . . . . . . . 98 A.2 Różne typy grafów . . . . . . . . . . . . . . . . . . . . . . . . . 98 A.2.1 Grafy regularne i grafy losowe . . . . . . . . . . . . . . 99 A.2.2 Grafy Butterfly . . . . . . . . . . . . . . . . . . . . . . . 100 A.2.3 Grafy de Bruijn’a . . . . . . . . . . . . . . . . . . . . . . 100 B Uzgadnianie w asynchronicznym systemie 103 B.1 Brak konsensusu i asynchroniczność . . . . . . . . . . . . . . . . 103 B.2 Uzgadnianie z częściowym zachowaniem poprawności . . . . . . 107
Rozdział 1 Wprowadzenie Zgodnie z empirycznym prawem Moore’a szybkość komputerów podwaja się mniej więcej co półtora roku 1 . W przypadku sieci przepustowość łączy podwaja się średnio co pół roku 2 . Zwiększanie przepustowości sieci powoduje, iż coraz częściej aplikacje korzystają z przetwarzania rozproszonego. Na chwilę obecną mówi się o architekturach z rozproszeniem wertykalnym i horyzontalnym [TS01] oraz typu peer-to-peer. Pierwsze wymienione obejmują architektury wielowarstwowe, w których aplikacje mają hierarchiczną budowę i najczęściej stosowane są w aplikacjach biznesowych 3 . Horyzontalne rozproszenie obejmuje systemy złożone z komponentów o różnym przeznaczeniu współpracujących ze sobą. Architekturę typu peer-to-peer posiadają systemy składające się z zespołu współpracujących, logicznie ekwiwalentnych jednostek. W związku z powyższym coraz częściej naturalnym środowiskiem pracy różnego typu aplikacji jest globalna sieć - Internet. Systemy informatyczne są podzielone na fizyczne komponenty częstokroć zlokalizowane w geograficznie odrębnych zakątkach globu, objęte całkowicie niezależną jurysdykcją. Ekspozycja środowisk komputerowych w ogólnie dostępnej sieci wymaga znacznie mocniejszych zabezpieczeń chroniących przed nieautoryzowanym dostępem, podsłuchem i celowymi atakami. Niejednokrotnie brak mechanizmów zabezpieczeń zupełnie uniemożliwia systemom bezawaryjne działanie. W tej pracy przedstawiono zagadnienie zapewnienia tolerancji błędów bizan- 1 Od 2004 roku wydaje się, że zwiększanie mocy obliczeniowej komputerów zaczyna odbiegać od prawa Moore’a. 2 W przypadku sieci zwiększanie przepustowości następuje rzadziej niż ma to miejsce w przypadku zwiększania mocy obliczeniowej, ale przeważnie szybkość zmienia się o cały rząd wielkości (np. 10MBit, 100MBit, 1GBit). 3 Takimi systemami są aplikacje dostępu do bazy danych oparte na tzw. cienkim kliencie (ang. thin client). Najniższą warstwę w architekturze stanowi baza danych. W kolejnej warstwie znajduje się serwer aplikacji, który odpowiedzialny jest za wykonanie logiki. Najwyższa warstwa to wspomniane oprogramowanie dostępowe, czyli cienki klient.
Page 1: Politechnika Warszawska Wydział El
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 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 64 and 65:
Page 66 and 67:
Page 68 and 69:
Page 70 and 71:
Page 72 and 73:
Page 74 and 75:
Page 76 and 77:
Page 78 and 79:
Page 80 and 81:
Page 82 and 83:
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 ...

Create successful ePaper yourself

Delete template?

Save as template?

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