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

More documents

Recommendations

Info

58 Rozdział 3. Bezpieczne bizantyjskie uzgadnianie Protokół 3.5.3: Atomic Broadcast - ABC dla uczestnika P i oraz znacznika ID ISTNIEJE PREDYKAT Q ID|abc.r : Q ID|abc.r ([w 1 , ···,w n ], [σ 1 , ···,σ n ]) ≡ dla przynajmniej n − t różnych j, σ j jest poprawnym podpisem S P j dla ( ID, a-queue, r, j, w j ) j ROZPOCZĘCIE : q ← [] kolejka FIFO dla wiadomości a-broadcast d ←∅ zbiór wiadomości a-delivered r ← 0 bieżąca runda PO ODEBRANIU WIADOMOŚCI ( ID, in, a-broadcast, m ): if m/∈ d and m/∈ q then append(q, m) ZAWSZE: w j ←⊥; σ j ←⊥ (1 ≤ j ≤ n) wait for q ≠[] or odebrano wiadomość ( ID,a-queue,r,l,w l , σ l ) l taką, że w l /∈ d oraz σ l jest poprawnym podpisem od P l if q ≠[] then w ← first(q) else w ← w l wyznacz podpis σ dla ( ID,a-queue,r,i,w ) i send ( ID,a-queue,r,i,w, σ ) i do wszystkich P wait for n − twiadomości ( ID,a-queue,r,j,w j , σ j ) j , takich, że σ j jest poprawnym podpisem od P j W ← [w 1 , ···,w n ]; S ← [σ 1 , ···,σ n ] v-propose W potwierdzone przez S oznaczone ID|abc.r z predykatem Q ID|abc.r wait for zakończenie VBA z V =[v 1 , ···,v n ] oznaczonego ID|abc.r b ← ⋃ n j=1 v j for m ∈ (b \ d) w uporządkowany sposób ⎧ zakończ ( ID,out,a-deliver,m) i ⎪⎨ wait for potwierdzenie dla m do d ← d ∪{m} ⎪⎩ remove(q, m) r ← r +1
3.5 Podsumowanie 59 Protokół 3.5.4: Secure Causal Atomic Broadcast - SC-ABC dla uczestnika P i oraz znacznika ID ROZPOCZĘCIE : otwórz kanał dla atomowego rozgłaszania ID|scabc PO ODEBRANIU WIADOMOŚCI ( ID, in, s-broadcast, c ): a-broadcast c ze znacznikiem ID| scabc ZAWSZE: wait for kolejną wiadomość c a-deliver ze znacznikiem ID|scabc oblicz E 1 udział δ odszyfrowujący dla c oznaczony ID zakończ ( ID, out, s-schedule, c ) i send ( ID, s-decrypt, c, δ ) i do wszystkich P δ j ←⊥ (1 ≤ j ≤ n) wait for t +1wiadomości ( ID, s-decrypt, c, δ j ) j od różnych j zawierających poprawny udział odszyfrowujący dla c oznaczony ID scal wszystkie udziały δ 1 , ···,δ n by uzyskać wiadomość m zakończ ( ID, out, s-reveal, m ) i wait for na potwierdzenie zatwierdź ostatnią wiadomość a-delivered oznaczoną ID|scabc
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 and 54: 3.4 Algorytm SC-ABC 53 będzie pode
Page 55 and 56: 3.5 Podsumowanie 55 3.5 Podsumowani
Page 57: 3.5 Podsumowanie 57 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 ...