Skip to main content
Erschienen in: The Journal of Supercomputing 2/2012

01.11.2012

From immediate agreement to eventual agreement: early stopping agreement protocol for dynamic networks with malicious faulty processors

verfasst von: Chien-Fu Cheng, Kuo-Tang Tsai

Erschienen in: The Journal of Supercomputing | Ausgabe 2/2012

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

With the rapid advancement of wireless networking technology, networks have evolved from static to dynamic. Reliability of dynamic networks has virtually become an important issue. Fortunately, a solution to the above issue can be derived from solutions to the Byzantine Agreement (BA) problem. BA problem can be solved by protocols that make processors reach an agreement through message exchange. Protocols used to solve the problem can be divided into Immediate Byzantine Agreement (IBA) protocols and Eventual Byzantine Agreement (EBA) protocols. In IBA protocols, the number of rounds of message exchange is determined by the total number of processors in the network. Even if no faulty processor is present in the network, IBA protocols still require a fixed number of rounds of message exchange, causing a waste of time. In contrast, EBA protocols dynamically adjust the number of rounds of message exchange according to the interference of faulty processors. In terms of efficiency, EBA protocols certainly outperform IBA protocols. Due to the fact that the existing EBA protocols have been designed for static networks, they cannot work on dynamic networks. In this paper, we revisit the EBA problem in dynamic networks to increase the reliability of dynamic networks. Simulations will be conducted to validate that the proposed protocol requires the minimum rounds of message exchange and can tolerate the maximum number of malicious faulty processors compared to other existing protocols.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Amir Y, Danilov C, Dolev D, Kirsch J, Lane J, Nita-Rotaru C, Olsen J, Zage D (2010) Steward: scaling Byzantine fault-tolerant replication to wide area networks. IEEE Trans Dependable Secure Comput 7(1):80–93 CrossRef Amir Y, Danilov C, Dolev D, Kirsch J, Lane J, Nita-Rotaru C, Olsen J, Zage D (2010) Steward: scaling Byzantine fault-tolerant replication to wide area networks. IEEE Trans Dependable Secure Comput 7(1):80–93 CrossRef
2.
Zurück zum Zitat Babaoglu O, Drummond R (1985) Streets of Byzantium: network architectures for fast reliable broadcasts. IEEE Trans Softw Eng 11:546–554 MathSciNetCrossRef Babaoglu O, Drummond R (1985) Streets of Byzantium: network architectures for fast reliable broadcasts. IEEE Trans Softw Eng 11:546–554 MathSciNetCrossRef
3.
Zurück zum Zitat Bar-Noy A, Dolev D, Dwork C, Strong HR (1992) Shifting gears: changing algorithms on the fly to expedite Byzantine agreement. Inf Comput 97(2):205–233 MathSciNetMATHCrossRef Bar-Noy A, Dolev D, Dwork C, Strong HR (1992) Shifting gears: changing algorithms on the fly to expedite Byzantine agreement. Inf Comput 97(2):205–233 MathSciNetMATHCrossRef
4.
Zurück zum Zitat Bessani AN, Correia M, da Silva Fraga J, Lung LC (2009) An efficient Byzantine-resilient tuple space. IEEE Trans Comput 58(8):1080–1094 MathSciNetCrossRef Bessani AN, Correia M, da Silva Fraga J, Lung LC (2009) An efficient Byzantine-resilient tuple space. IEEE Trans Comput 58(8):1080–1094 MathSciNetCrossRef
6.
Zurück zum Zitat Broug DR (1992) Logic programming. New frontiers. Kluwer Academic, Norwell CrossRef Broug DR (1992) Logic programming. New frontiers. Kluwer Academic, Norwell CrossRef
7.
Zurück zum Zitat Carroll TE, Grosu D (2008) Strategy proof mechanisms for scheduling divisible loads in bus-networked distributed systems. IEEE Trans Parallel Distrib Syst 19(8):1124–1135 CrossRef Carroll TE, Grosu D (2008) Strategy proof mechanisms for scheduling divisible loads in bus-networked distributed systems. IEEE Trans Parallel Distrib Syst 19(8):1124–1135 CrossRef
8.
Zurück zum Zitat Caruso A, Chessa S (2007) Worst-case diagnosis completeness in regular graphs under the PMC model. IEEE Trans Comput 56(7):917–924 MathSciNetCrossRef Caruso A, Chessa S (2007) Worst-case diagnosis completeness in regular graphs under the PMC model. IEEE Trans Comput 56(7):917–924 MathSciNetCrossRef
9.
Zurück zum Zitat Cheng CF, Wang SC, Liang T (2008) Byzantine agreement protocol & fault diagnosis agreement for mobile Ad-Hoc network. Fundam Inform 89(2):161–187 MathSciNetMATHCrossRef Cheng CF, Wang SC, Liang T (2008) Byzantine agreement protocol & fault diagnosis agreement for mobile Ad-Hoc network. Fundam Inform 89(2):161–187 MathSciNetMATHCrossRef
10.
Zurück zum Zitat Cheng CF, Wang SC, Liang T (2010) File consistency problem of file-sharing in peer-to-peer environment. Int J Innov Comput, Inf Control 6(2):601–613 Cheng CF, Wang SC, Liang T (2010) File consistency problem of file-sharing in peer-to-peer environment. Int J Innov Comput, Inf Control 6(2):601–613
11.
Zurück zum Zitat Colon Osorio FC (2007) Using byzantine agreement in the design of IPS systems. In: Proceeding of the IEEE international conference on performance, computing, and communications, vol 97, pp 528–537 CrossRef Colon Osorio FC (2007) Using byzantine agreement in the design of IPS systems. In: Proceeding of the IEEE international conference on performance, computing, and communications, vol 97, pp 528–537 CrossRef
12.
Zurück zum Zitat De Amorim MD, Ziviani A, Viniotis Y, Tassiulas L (2008) Practical aspects of mobility in wireless self-organizing networks. IEEE Wirel Commun 15(6):6–7 CrossRef De Amorim MD, Ziviani A, Viniotis Y, Tassiulas L (2008) Practical aspects of mobility in wireless self-organizing networks. IEEE Wirel Commun 15(6):6–7 CrossRef
13.
Zurück zum Zitat Fisher M, Lynch N (1982) A lower bound for the assure interactive consistency. Inf Process Lett 14(3):183–186 CrossRef Fisher M, Lynch N (1982) A lower bound for the assure interactive consistency. Inf Process Lett 14(3):183–186 CrossRef
14.
Zurück zum Zitat Garcia L, Arnaiz L, Alvarez F, Menendez JM, Gruneberg K (2009) Protected seamless content delivery in P2P wireless and wired networks. IEEE Wirel Commun 16(5):50–57 CrossRef Garcia L, Arnaiz L, Alvarez F, Menendez JM, Gruneberg K (2009) Protected seamless content delivery in P2P wireless and wired networks. IEEE Wirel Commun 16(5):50–57 CrossRef
15.
Zurück zum Zitat Huang D (2008) Unlinkability measure for IEEE 802.11 based MANETs. IEEE Trans Wirel Commun 7(3):1025–1034 CrossRef Huang D (2008) Unlinkability measure for IEEE 802.11 based MANETs. IEEE Trans Wirel Commun 7(3):1025–1034 CrossRef
16.
Zurück zum Zitat Jafar S, Krings A, Gautier T (2009) Flexible rollback recovery in dynamic heterogeneous grid computing. IEEE Trans Dependable Secure Comput 6(1):32–44 CrossRef Jafar S, Krings A, Gautier T (2009) Flexible rollback recovery in dynamic heterogeneous grid computing. IEEE Trans Dependable Secure Comput 6(1):32–44 CrossRef
17.
Zurück zum Zitat Krings AW, Feyer T (1999) The byzantine agreement problem: optimal early stopping. In: Proceeding of the 32nd Hawaii international conference on system sciences, vol 8, pp 1–12 Krings AW, Feyer T (1999) The byzantine agreement problem: optimal early stopping. In: Proceeding of the 32nd Hawaii international conference on system sciences, vol 8, pp 1–12
18.
Zurück zum Zitat Kamil S, Oliker L, Pinar A, Shalf J (2010) Communication requirements and interconnect optimization for high-end scientific applications. IEEE Trans Parallel Distrib Syst 21(2):188–202 CrossRef Kamil S, Oliker L, Pinar A, Shalf J (2010) Communication requirements and interconnect optimization for high-end scientific applications. IEEE Trans Parallel Distrib Syst 21(2):188–202 CrossRef
19.
Zurück zum Zitat Lamport L, Shostak R, Pease M (1982) The byzantine generals problem. ACM Trans Program Lang Syst 4(3):382–401 MATHCrossRef Lamport L, Shostak R, Pease M (1982) The byzantine generals problem. ACM Trans Program Lang Syst 4(3):382–401 MATHCrossRef
20.
Zurück zum Zitat Maseng T, Landry R, Young K (2009) Military communications. IEEE Commun Mag 47(10):36–38 CrossRef Maseng T, Landry R, Young K (2009) Military communications. IEEE Commun Mag 47(10):36–38 CrossRef
22.
Zurück zum Zitat Siu HS, Chin YH, Yang WP (1998) Byzantine agreement in the presence of mixed faults on processors and links. IEEE Trans Parallel Distrib Syst 9(4):335–345 CrossRef Siu HS, Chin YH, Yang WP (1998) Byzantine agreement in the presence of mixed faults on processors and links. IEEE Trans Parallel Distrib Syst 9(4):335–345 CrossRef
23.
Zurück zum Zitat Silberschatz A, Galvin PB, Gagne G (2008) Operating system concepts, 8th edn. Wiley, New York Silberschatz A, Galvin PB, Gagne G (2008) Operating system concepts, 8th edn. Wiley, New York
24.
Zurück zum Zitat Tzeng HY, Siu KY (1995) On the message and time complexity of protocols for reliable broadcasts/multicasts in networks with omission failures. IEEE J Sel Areas Commun 13(7):1296–1308 CrossRef Tzeng HY, Siu KY (1995) On the message and time complexity of protocols for reliable broadcasts/multicasts in networks with omission failures. IEEE J Sel Areas Commun 13(7):1296–1308 CrossRef
25.
26.
27.
Zurück zum Zitat Won YJ, Choi M-J, Hong JW-K, Kim M-S, Hwang H, Lee J-H, Lee S-G (2008) Fault detection and diagnosis in IP-based mission critical industrial process control networks. IEEE Commun Mag 46(5):172–180 CrossRef Won YJ, Choi M-J, Hong JW-K, Kim M-S, Hwang H, Lee J-H, Lee S-G (2008) Fault detection and diagnosis in IP-based mission critical industrial process control networks. IEEE Commun Mag 46(5):172–180 CrossRef
28.
Zurück zum Zitat Yang X, Tang YY (2007) Efficient fault identification of diagnosable systems under the comparison model. IEEE Trans Comput 56(12):1612–1618 MathSciNetCrossRef Yang X, Tang YY (2007) Efficient fault identification of diagnosable systems under the comparison model. IEEE Trans Comput 56(12):1612–1618 MathSciNetCrossRef
29.
Zurück zum Zitat Younis O, Kant L, Chang K, Young K, Graff C (2009) Cognitive MANET design for mission-critical networks. IEEE Commun Mag 47(10):64–71 CrossRef Younis O, Kant L, Chang K, Young K, Graff C (2009) Cognitive MANET design for mission-critical networks. IEEE Commun Mag 47(10):64–71 CrossRef
30.
Zurück zum Zitat Yu M, Zhou M, Su W (2009) A secure routing protocol against byzantine attacks for MANETs in adversarial environments. IEEE Trans Veh Technol 58(1):449–460 CrossRef Yu M, Zhou M, Su W (2009) A secure routing protocol against byzantine attacks for MANETs in adversarial environments. IEEE Trans Veh Technol 58(1):449–460 CrossRef
Metadaten
Titel
From immediate agreement to eventual agreement: early stopping agreement protocol for dynamic networks with malicious faulty processors
verfasst von
Chien-Fu Cheng
Kuo-Tang Tsai
Publikationsdatum
01.11.2012
Verlag
Springer US
Erschienen in
The Journal of Supercomputing / Ausgabe 2/2012
Print ISSN: 0920-8542
Elektronische ISSN: 1573-0484
DOI
https://doi.org/10.1007/s11227-012-0758-x

Weitere Artikel der Ausgabe 2/2012

The Journal of Supercomputing 2/2012 Zur Ausgabe

Premium Partner