Sebastien Tixeuil, Bounding the impact of unbounded attacks in stabilization
Sebastien Tixeuil, Bounding the impact of unbounded attacks in stabilization
复制标题
Sebastien Tixeuil，限制无限攻击对稳定的影响
DOI：
10.1109/tpds.2011.158
复制
发表时间：
2012
影响因子：
5.3
通讯作者：
Toshimitsu Masuzawa
中科院分区：
文献类型：
--
作者：
Swan Dubois;Toshimitsu Masuzawa
自稳定是一种通用的容错方法，因为它允许分布式系统从任意破坏系统中所有内存内容的任何瞬时故障中恢复。拜占庭容忍是分布式系统的一个吸引人的特性，它允许处理任意的恶意行为。结合这两个属性证明是困难的：对于全局任务（如树的定位和树的构建），在自稳定的背景下，不可能包含拜占庭节点的空间影响。我们提出并说明了稳定中的拜占庭遏制的新概念。我们的属性，称为强稳定，可以控制拜占庭节点的影响，如果他们实际上执行了太多的拜占庭操作。我们得到了强稳定的不可能结果，并提出了树定向和树构造的强稳定协议，这些协议在自稳定环境中可以容忍的拜占庭节点数量是最优的。
Self-stabilization is a versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of all memories in the system. Byzantine tolerance is an attractive feature of distributed systems that permit to cope with arbitrary malicious behaviors. Combining these two properties proved difficult: it is impossible to contain the spatial impact of Byzantine nodes in a self-stabilizing context for global tasks such as tree orientation and tree construction. We present and illustrate a new concept of Byzantine containment in stabilization. Our property, called Strong Stabilization enables to contain the impact of Byzantine nodes if they actually perform too many Byzantine actions. We derive impossibility results for strong stabilization and present strongly stabilizing protocols for tree orientation and tree construction that are optimal with respect to the number of Byzantine nodes that can be tolerated in a self-stabilizing context.