Loading...
Please wait, while we are loading the content...
Similar Documents
Achieving agreement in three rounds with bounded-byzantine faults
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Malekpour, Mahyar R. |
| Copyright Year | 2015 |
| Description | A three-round algorithm is presented that guarantees agreement in a system of K (nodes) greater than or equal to 3F (faults) +1 nodes provided each faulty node induces no more than F faults and each good node experiences no more than F faults, where, F is the maximum number of simultaneous faults in the network. The algorithm is based on the Oral Message algorithm of Lamport et al. and is scalable with respect to the number of nodes in the system and applies equally to the traditional node-fault model as well as the link-fault model. We also present a mechanical verification of the algorithm focusing on verifying the correctness of a bounded model of the algorithm as well as confirming claims of determinism. |
| File Size | 399199 |
| Page Count | 42 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20150017047 |
| Archival Resource Key | ark:/13960/t8jd9w027 |
| Language | English |
| Publisher Date | 2015-08-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Distributed Processing Fault Tolerance Algorithms Fault Detection Proving Computer Networks Mathematical Models Topology Time Synchronization Program Verification Computers Clocks Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
