Odporność na błędy bizantyjskie w systemach peer-to-peer - Instytut ...

46 Rozdział 3. Bezpieczne bizantyjskie uzgadnianie
grupy zleceniami odnowienia stanu.
Podczas odzyskiwania stanu musi nastąpić wymiana kluczy, gdyż stare klucze
mogły zostać przechwycone przez atakującego. Odpowiedź zawiera numer
sekwencji zlecenia n R przez co replika może wyznaczyć H R = ⌊n R /K⌋×K+L,
następnie oblicza H = max(H M ,H R ), która to wartość jest górnym znacznikiem.
Używając wszystkich zebranych informacji rozpoczyna proces pobrania
stanu [CL00] 8 .
Ważnym założeniem jest to, by proaktywne odzyskiwanie stanu nie było
realizowane przez więcej jak jedną replikę równolegle (o ile nie wiadomo ze
100% pewnością, że niepoprawnie realizuje zlecenia), gdyż w ten sposób naraża
się usługę na niepoprawne działanie. Okres w jakim usługa narażona jest na
załamanie jest równy T v =2T k + T r , gdzie T k oznacza czas wymiany kluczy, T r
jest czasem od załamania repliki do czasu odzyskania przez nią pełnej informacji
o aktualnym stanie usługi [CL00].
Do niewątpliwych zalet BFT należy zaliczyć: łatwą implementację i możliwość
adaptacji do wielu systemów. Znacząca wadą tego algorytmu jest konieczność
wykrywania niepoprawnie działającej repliki głównej, czyli uzależnienie od
czasu odpowiedzi tzw. (ang. failure detectors), oraz szeregu parametrów, które
muszą być dostosowane do środowiska, w celu zagwarantowania żywotności i
efektywności.
3.4 Algorytm SC-ABC
SC-ABC jest stosem protokołów używających tzw. kryptografii progowej, nowoczesnej
techniki kryptograficznej, która bardzo ogólnie zostanie omówiona
w kolejnym paragrafie tak, by umożliwić zrozumienie sposóbu działania algorytmu.
SC-ABC został opracowany przez grupę badawczą z laboratorium IBM
w Zurichu, głównie przez K. Kursawe oraz V. Schoupa. Stos protokołów rozpoczyna
binarne bizantyjskie uzgadnianie (ang. Binary Byzantine Agreement)
BBA, następnie wielowartościowe bizantyjskie uzgadnianie (ang. Multi-valued
Byzantine Agreement) MBA, atomowe rozgłaszanie (ang. Atomic Broadcast)
ABC. Protokołem najwyższego poziomu jest algorytm bezpiecznego przyczynowego
rozgłaszania (ang. Secure Causal Atomic Broadcast) SC-ABC. Protokół
jest w większym stopniu asynchroniczny niż miało to miejsce w BFT, poprzez
zastosowanie elementów losowych, co pociąga za sobą istnienie pewnego niezerowego
prawdopodobieństwa tego, iż protokół poprawnie nie zakończy działania.
Twórcy algorytmu tłumaczą, że praktycznie żaden protokół nie gwarantuje
całkowitej poprawności, gdyż zależy od różnych założeń, które w środowisku
usługi.
8 Opis procesu transferu stanu został pominięty, gdyż jego konstrukcja może zależeć od samej