Optimal Resiliency against Mobile Faults ( Extended
نویسندگان
چکیده
In this paper we consider a model where malicious agents can corrupt hosts and move around in a network of processors. We consider a family of mobile-fault models MF(t n?1 ;). In MF(t n?1 ;) there are a total of n processors, the maximum number of mobile faults is t, and their roaming pace is (for example, = 3 means that it takes an agent at least 3 rounds to \hop" to the next host). We study in these models the classical testbed problem for fault-tolerant distributed computing: Byzantine agreement. It has been shown that if = 1, then agreement cannot be reached in the presence of even one fault, unless one of the processors remains uncorrupted for a certain amount of time. Subject to this proviso, we present a protocol for MF(1 3 ; 1), which is optimal. The running time of the protocol is O(n) rounds, also optimal for these models.
منابع مشابه
Optimal Resiliency against Mobile Faults
In this paper we consider a model where malicious agents can corrupt hosts and move around in a network of processors. We consider a family of mobilefault models MF( t n−1 , ρ). In MF( t n−1 , ρ) there are a total of n processors, the maximum number of mobile faults is t, and their roaming pace is ρ (for example, ρ = 3 means that it takes an agent at least 3 rounds to “hop” to the next host). W...
متن کاملModeling Resiliency and Its Essential Components for Cyberphysical Systems
This paper presents an initial approach related to modeling resiliency for cyberphysical systems. It discusses the concept and definitions of resiliency and outlines the process of building a model of resiliency. Through analogies with feedback control and fault tolerance, the Design for Resilience is addressed, where the design of the controller component of a cyberphysical system needs to acc...
متن کاملMicrosoft Word - Resiliency-Oriented Microgrid Optimal Scheduling - Final
One of complementary value propositions of microgrids is to improve power system resiliency via local supply of loads and curtailment reduction. This subject is investigated in this paper by proposing a resiliency-oriented microgrid optimal scheduling model. The proposed model aims at minimizing the microgrid load curtailment by efficiently scheduling available resources when supply of power fr...
متن کاملCharacterisations of Extended Resiliency and Extended Immunity of S-Boxes
New criteria of extended resiliency and extended immunity of vectorial Boolean functions, such as S-boxes for stream or block ciphers, were recently introduced. They are related to a divide-and-conquer approach to algebraic attacks by conditional or unconditional equations. Classical resiliency turns out to be a special case of extended resiliency and as such requires more conditions to be sati...
متن کاملOptimal Trajectory Planning of a Mobile Robot with Spatial Manipulator For Spatial Obstacle Avoidance
Mobile robots that consist of a mobile platform with one or many manipulators mounted on it are of great interest in a number of applications. Combination of platform and manipulator causes robot operates in extended work space. The analysis of these systems includes kinematics redundancy that makes more complicated problem. However, it gives more feasibility to robotic systems because of the e...
متن کامل