Expected Constant Time Self-stabilizing Byzantine Pulse Resynchronization
将快速数字时钟同步推广到有界延迟模型，研究了期望的恒定时间拜占庭脉冲同步问题。在这个问题中，系统的同步状态不仅应该确定性地保持，但在拜占庭故障的存在下，从任意状态达到预期的恒定时间。引入了问题的直观几何表示，将经典近似一致性、随机拜占庭一致性和随机游动与一些几何运算结合起来.还为实际应用提供了有效的实现。与现有方案相比，该方案不需要规则地产生公共脉冲，消息复杂度降低为近似一致，且期望稳定时间最优。由此，所提供的解决方案可以有效地将不规则生成的公共脉冲转换为自稳定拜占庭脉冲同步。
2022-03-26 cs.DC
Linear-time Self-stabilizing Byzantine Clock Synchronization
时钟同步是分布式系统中一项非常基本的任务。因此，要求底层时钟同步机制具有高度容错性是有意义的。自稳定算法寻求在同步丢失时获得同步;拜占庭算法假设同步永远不会丢失，并专注于包含故障节点永久存在的影响。存在用于时钟同步的高效自稳定解决方案以及对拜占庭故障有弹性的高效解决方案。相比之下，据我们所知，没有实际的解决方案是自我稳定的，同时容忍拜占庭节点的永久存在。提出了第一个线性时间自稳定拜占庭时钟同步算法。我们的确定性时钟同步算法是基于观察，所有的时钟同步算法需要事件交换时钟值和重新同步的时钟在安全范围内。这些事件通常需要在不同的节点上同步发生。在经典的拜占庭算法中，这是通过使时钟最初彼此接近来实现或辅助的，因此实际时钟值可以用于同步事件。这意味着时钟值不能任意不同，这必然使这些解决方案不稳定。我们的方案建议使用一个底层的分布式脉冲同步模块，是不相关的时钟值。
2006-08-25 cs.DC
Intro-Stabilizing Byzantine Clock Synchronization in Heterogeneous IoT Networks
为了在物联网网络上实现可靠的高精度时钟同步（CS），集成了超高可靠系统中采用的分布式CS范例和高性能但不可靠系统中采用的主从CS范例。同时，传统的内部时钟同步也与外部时间基准集成，以实现有效的稳定。低网络连接性、低复杂性、高精度和高可靠性都被考虑在内。为了容忍永久故障，拜占庭CS与常见的CS协议集成。为了容忍瞬时故障，自稳定的拜占庭CS也扩展到开放世界的物联网网络上。有了这些，所提出的内稳定拜占庭CS解决方案可以建立和保持与任意初始状态的同步，在永久拜占庭故障的存在。通过形式化分析和数值模拟，证明了为超高可靠系统和高性能不可靠系统提供的最佳CS解决方案可以很好地集成到物联网网络上，从而即使在传统的封闭安全边界上也可以获得可靠的高精度CS。
2022-03-18 cs.DC
Self-stabilizing Byzantine Clock Synchronization with Optimal Precision
我们重新审视的方法，拜占庭容错时钟同步的基础上介绍了林奇和韦尔奇的近似协议。我们的贡献有三个方面：（1）我们提供了一个稍微改进的算法变体，该算法产生了可以实现的偏斜和可持续频率偏移的改进界限。(2)我们将展示如何扩展该技术，也同步时钟速率。这允许不太频繁的通信，而不会显著损失精度，只要时钟速率变化足够慢。(3)我们提出了一个耦合方案，使这些算法的自稳定，同时保持其高精度。该方案利用低精度，但自我稳定的算法恢复的目的。
2016-09-29 cs.DC
Peaceable Self-Stabilizing Byzantine Pulse Synchronization
为了在有界时延消息传递网络上实现快速有效的自稳定拜占庭脉冲同步（SSBPS），考虑了稳定系统中资源占用尽可能稀疏且系统稳定尽可能快的和平SSBPS问题.为解决这一问题，在一般框架下研究了解耦吸收过程和紧急过程。在综合时间跟踪、近似协议、确定性和随机性拜占庭协议以及自稳定协议优点的基础上，提出了一种常数时间两阶段吸收过程和一种以上的紧急过程.这样，不仅SSBPS，而且自稳定拜占庭时钟同步可以快速建立和有效维护。在最优弹性基本解中，确定性线性稳定时间和稳定资源占用都被优化到底层原语的那些，这在经典静态攻击下存在拜占庭故障时是最优的。在混合解决方案中，可以预期更快的稳定与最坏情况下的确定性稳定时间。在所有解决方案中，稳定的资源占用最多处于近似一致的量级，这在考虑真实世界的超高可靠性硬实时应用中是良好的性质，其中期望在所有上层功能之前建立脉冲同步，并且当上层功能处于服务中时有效地维持脉冲同步。
2022-03-18 cs.DC
Self-stabilizing Byzantine Fault-tolerant Repeated Reliable Broadcast
我们研究了一个著名的通信抽象称为拜占庭可靠广播（BRB）。这种抽象是容错分布式系统的设计和实现的核心，因为许多容错分布式应用程序需要在消息传递上具有可证明保证的通信。我们的研究重点是容错实现的消息传递系统，容易出现进程故障，如崩溃和恶意行为。在PODC 1983年，Bracha和Toueg，简称BT，解决了BRB问题。BT具有最佳的弹性，因为它可以处理t <n/3的拜占庭进程，其中n是进程的数量。目前的工作旨在设计一个更强大的解决方案比BT扩展其故障模型与自稳定，一个有力的概念容错。除了容忍拜占庭和通信故障之外，自稳定系统还可以在任意瞬时故障发生后恢复。这些故障表示违反了系统设计运行所依据的假设（假设算法代码保持完整）。我们建议，据我们所知，第一个自我稳定拜占庭容错（BFT）的解决方案，重复BRB在无签名的消息传递系统（以下BT的问题规范）。我们的贡献包括BT的自稳定变化，解决了异步系统的单实例BRB。我们还考虑了单实例BRB实例的回收问题。我们的无时间系统的自稳定BFT回收促进了预定义数量的BRB调用的并发处理，通过这种方式，可以作为自稳定BFT共识的基础。
2022-10-03 cs.DC
Self-stabilizing Byzantine-tolerant Recycling
研究在拜占庭进程存在下的对象回收挑战，提出一种自稳定拜占庭容错的异步对象回收机制，基于新的同步多值共识算法和现有技术组合，实现对象在任务结束后的安全重用。
2023-07-27 cs.DC
Self-Stabilizing Byzantine Resilient Topology Discovery and Message Delivery
传统的拜占庭弹性算法使用2f+1个顶点不相交的路径来确保消息在最多f个拜占庭节点的情况下传递。如何识别这些路径的问题与拓扑发现的基本问题有关。拓扑发现的分布式算法处理一个永无止境的任务，处理网络拓扑的频繁变化和不可预测的瞬时故障。因此，拓扑发现算法应该是自稳定的，以确保收敛的拓扑信息后，任何这样的不可预测的事件序列。我们提出了第一个这样的算法，可以应付拜占庭节点。从任意全局状态开始，并且在存在f个拜占庭节点的情况下，每个节点最终知道所有其他非拜占庭节点及其连接的通信链路。例如，使用拓扑信息，节点可以在网络上路由消息，并将消息从一个终端用户传递到另一个终端用户。我们提出了第一个确定性的，cryptographicassumptions- free，自我稳定，拜占庭弹性算法的网络拓扑发现和端到端的消息传递。我们还考虑了r-邻域发现的任务，在这种情况下，r和节点的度是有界的常数。r-邻域发现的使用促进了上述任务的多项式时间、通信和空间解决方案。所获得的算法可以被用来认证各方，特别是在建立私人秘密，从而形成公钥计划，是抵抗人在中间攻击的妥协拜占庭节点。可以在秘密的周期性重建之间采用基于所建立的私有秘密的多项式和有效的端到端算法。
2013-01-30 cs.DC
Self-stabilizing Byzantine- and Intrusion-tolerant Consensus
容错分布式计算中最著名的问题之一是一致性问题。它被证明抽象了无数的问题，在这些问题中，过程必须就单一值达成一致。共识应用程序包括云或区块链环境的基本服务。在这种具有挑战性的环境中，恶意行为通常被建模为对抗性拜占庭故障。在OPODIS 2010上，Mostefaoui和Raynal（简称MR）提出了一种拜占庭和入侵容忍的共识解决方案，其中决定的值不能是仅由拜占庭进程提出的值。除了这个有效性属性之外，MR还具有最佳的弹性，因为它可以处理多达t < n/3的拜占庭进程，其中n是进程的数量。我们注意到，MR提供了这个多值共识对象（它接受从具有有限数量值的集合中获取的建议），假设单个二元共识对象（它接受从集合{0，1}中获取的建议）可用。这项工作，重点是多值共识，旨在设计一个更强大的解决方案比MR。我们的建议扩展MR的故障模型与自稳定，一个有力的概念容错。除了容忍拜占庭和通信故障外，自稳定系统还可以在任意瞬时故障发生后自动恢复。这些故障表示违反了系统设计运行所依据的假设（假设算法代码保持完整）。据我们所知，我们提出了第一个自我稳定的解决方案，入侵容忍多值共识的异步消息传递系统容易拜占庭故障。
2022-09-10 cs.DC
Self-stabilizing Byzantine Agreement
拜占庭协议算法通常假设正确节点之间的隐式初始状态一致性和同步，然后在协调的信息交换回合中操作，以基于输入值达成协议。隐式初始假设使正确的节点能够从其本地状态推断算法在其他节点处的进展。本文考虑了一个更严重的故障模型比永久拜占庭故障，其中系统可以另外受到严重的瞬态故障，可以暂时抛出系统的假设边界。当系统最终返回到根据所假定的假设来表现时，它可能处于任意状态，其中节点之间的任何同步可能丢失，并且每个节点可能处于任意状态。我们提出了一个自我稳定的拜占庭协议算法，在正确的节点之间达成协议的最佳比率的错误，正确的，通过只使用最终有界的消息传输延迟的假设。在解决这个问题的过程中，开发了两个额外的重要和具有挑战性的构建模块：一个独特的自稳定协议，用于为协议初始化分配一致的相对时间，以及一个可靠的广播原语，以实际消息传递时间的速度进行。
2009-08-02 cs.DC
Self-Stabilizing Weakly Byzantine Perpetual Gathering of Mobile Agents
本文研究弱拜占庭环境下移动智能体的自稳定聚集问题，证明原始问题在 k≤2f 时无解，进而提出永久聚集问题并给出仅需网络规模与智能体数量上界即可工作的自稳定算法。
2025-04-11 cs.DC
Loosely-self-stabilizing Byzantine-tolerant Binary Consensus for Signature-free Message-passing Systems
在PODC 2014上，A. Mostéfaoui，H. Moumen和M. Raynal提出了一种新的、简单的随机无签名的二进制共识算法（这里记为MMR），该算法可以处理复杂的拜占庭行为的净效应。假设消息调度是公平的并且与随机数无关，MMR在以下几个方面是最优的：它处理多达t个拜占庭进程，其中t < n/3，n是进程数，O（n\^2）消息和O（1）期望时间。本文提出了一个非平凡的MMR扩展到一个更容易出现故障的情况下，即，除了拜占庭进程，它还认为系统可以经历短暂的故障。为此，它认为自稳定技术，以应付通信故障和任意瞬态故障（这种故障表示任何违反的假设，根据该系统的设计操作）。该算法是第一个松散的自稳定拜占庭容错二进制共识算法适用于异步消息传递系统。这是通过将MMR转换为自稳定解决方案来实现的，该解决方案可以以概率Pr= O（1/（2 M））违反安全要求，其中M是预定义的常数，可以以3 M n + log M位的本地存储器为代价将其设置为任何正整数。除了使MMR对瞬时故障具有弹性之外，所获得的自稳定算法还保持了其最佳弹性和终止的特性（即，时间复杂度为O（1）。此外，它只需要有限的内存。
2023-01-21 cs.DC
Self-Stabilizing Distributed Cooperative Reset
自稳定是一种通用的容错方法，其特征在于系统在任何有限数量的瞬时故障之后最终恢复正确行为的能力。在本文中，我们提出了一个自稳定的重置算法工作在匿名网络。该算法以分布式非集中式方式重置网络，即，它是多启动器，因为每个检测到不一致的进程都可以启动重置。它也是协作的，因为它协调并发的重置执行以获得效率。我们的方法是通用的，因为我们的重置算法允许为各种问题和设置构建自稳定的解决方案。作为一个事实，我们表明，它适用于静态和动态规范，因为我们提出了有效的自稳定复位为基础的算法（1-最小）$f，g）-联盟（一般化的支配集问题）在确定的网络和匿名网络的一致性问题。请注意，后两个实例增强了现有技术。事实上，在前一种情况下，我们的解决方案比以前的解决方案更一般;而在后一种情况下，所提出的一致性算法的复杂性优于文献中以前的解决方案。
2019-04-19 cs.DC
Self-stabilizing Byzantine Multivalued Consensus
针对异步消息传递系统中的拜占庭故障，提出首个自稳定多值共识方案，扩展MR模型，可在O(t)时间内从任意瞬态故障自动恢复。
2023-11-15 cs.DC
Self-Stabilizing Byzantine Pulse Synchronization
“脉冲同步”问题可以粗略地描述为目标是在不同的节点上尽可能同时地以尽可能规律的频率调用重复发生的分布式事件。这个目标变得令人惊讶的微妙和难以实现时，面对短暂的和永久性的故障。在本文中，我们提出了一种算法的脉冲同步，自我稳定，而在同一时间容忍一个永久存在的拜占庭故障。拜占庭节点可能会不断尝试去同步正确的节点。瞬时故障可能会使系统进入一个任意的状态，在这个状态中，正确的节点没有任何共同的概念，比如时间或轮数，因此不能根据其他正确节点的状态从它们自己的本地状态推断出任何东西。所提出的算法授予节点的能力，推断最终所有正确的节点将调用他们的脉冲在一个非常短的时间间隔内彼此，并定期这样做。脉冲同步以前已被证明是一个强大的工具，用于设计一般的自稳定拜占庭算法，是迄今为止唯一的方法，提供了一般设计的有效的实际协议，在这两个故障模型的汇合。一般来说，在这种故障模型中设计任何算法的困难可以由对两种故障模型都有弹性的非常少的算法来表示。少数已发表的自稳定拜占庭算法通常是复杂的，有时从一个任意的初始状态，只有经过指数或超指数时间收敛。
2006-08-25 cs.DC
FATAL+: A Self-Stabilizing Byzantine Fault-tolerant Clocking Scheme for SoCs
我们提出了一个自稳定的拜占庭容错分布式时钟产生方案的概念和实现的多同步GALS架构中的关键应用。它结合了最近推出的自稳定算法的一个变体，用于生成低频，低精度同步脉冲与一个简单的非稳定的高频，高精度时钟同步算法。我们提供了彻底的正确性证明和性能分析，使用容错分布式计算研究的方法，但也解决了硬件相关的问题，如亚稳定性。该算法由多个并发通信的异步状态机组成，采用Petrify结合一些扩展在VHDL中实现，并在Altera Cyclone FPGA上进行了综合。这个原型的实验验证已经进行了确认的偏斜和时钟频率的界限预测的理论分析，以及非常短的稳定时间（需要恢复后，过多的瞬态故障）在实践中实现。
2012-02-09 cs.AR cs.DC
Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1
一个自稳定是自然恢复瞬变故障（即，故障的有限持续时间）。最近，出现了一类新的协议。这些协议是自稳定的，而且对有限数量的永久性故障有弹性。在这篇文章中，我们感兴趣的自稳定协议，容忍非常硬的永久故障：拜占庭故障。介绍了两种新的自稳定系统拜占庭包容方案。我们发现，对于BFS生成树的建设问题，众所周知的自稳定协议min+1提供了没有显着修改的最佳拜占庭遏制这些新的计划。
2011-04-20 cs.DC
Mariages et Trahisons
根据定义，自稳定协议可以容忍瞬时故障（有限持续时间的故障）。最近，一类新的自稳定协议，能够容忍给定数量的永久性故障。在本文中，我们专注于自稳定协议能够容忍拜占庭故障，即故障，介绍了一个任意的行为。我们专注于严格稳定，其中系统必须包含拜占庭故障的影响。具体地说，我们研究了在一个任意数目的进程都可能成为拜占庭进程的网络中，以自稳定的方式构造一个最大匹配的可能性。
2012-04-20 cs.DC
Bounding the Impact of Unbounded Attacks in Stabilization
自稳定是一种通用的容错方法，因为它允许分布式系统从任意破坏系统中所有存储器内容的任何瞬时故障中恢复。拜占庭容忍是分布式系统的一个有吸引力的特性，它允许处理任意恶意行为。结合这两个属性被证明是困难的：它是不可能包含拜占庭节点的空间影响，在一个自我稳定的上下文中的全局任务，如树的方向和树的建设。我们提出并说明了一个新的概念拜占庭遏制稳定。我们的属性，称为强稳定，能够包含拜占庭节点的影响，如果他们实际上执行太多的拜占庭动作。我们推导出不可能的结果，强稳定，并提出了强稳定的协议，树的方向和树的建设是最佳的拜占庭节点的数量，可以容忍在一个自稳定的上下文中。
2011-02-10 cs.DC
Maximum Metric Spanning Tree made Byzantine Tolerant
自稳定是一种通用的容错方法，因为它允许分布式系统从任意破坏系统中所有存储器内容的任何瞬时故障中恢复。拜占庭容忍是分布式系统的一个有吸引力的特性，它允许处理任意恶意行为。本文重点研究的系统是自稳定和拜占庭宽容。我们认为，在这种情况下，构建一个最大度量树的著名问题。已知将这两个性质结合会导致许多不可能的结果。在本文中，我们提供了关于在存在瞬时和（永久）拜占庭故障的情况下构建最大度量树的前两个不可能性结果。然后，我们提供了一个新的自稳定协议，提供了任意数量的拜占庭故障的最佳遏制。
2011-04-28 cs.DC
Self-Stabilizing Replicated State Machine Coping with Byzantine and Recurring Transient Faults
本文提出首个同时具备拜占庭容错、反复瞬时容错、准确性和自稳定能力的重复拜占庭协议，可从任意配置恢复一致性，并明确给出多类故障下的容忍界。
2025-06-15 cs.CR cs.DC
A Fault-Resistant Asynchronous Clock Function
考虑一个由n个节点组成的共享内存环境中的异步网络。假设最多f个节点可能是拜占庭（n > 12 f），其中对手是完全信息和动态的（有时称为自适应）。此外，非拜占庭节点可能会经历瞬时故障。节点以原子步骤前进，包括读取所有寄存器，执行一些计算和写入所有寄存器。本文件包含三个主要贡献。首先定义了时钟函数问题，它是时钟同步问题的推广。这种概括封装了以前的时钟同步问题的定义，同时将它们扩展到当前的论文模型。其次，提出了一种随机异步自稳定拜占庭容忍时钟同步算法。在时钟同步算法的构造中，开发了一个构建块，该构建块确保不同节点以相似的速率前进。这是本文的第三个贡献。它是自稳定和拜占庭容忍的，可以用作在异步自稳定拜占庭模型中操作的不同算法的构建块。该算法的收敛时间是指数的。观察到，在异步设置中，最著名的全信息动态拜占庭协议也具有预期的指数收敛时间，即使目前两者之间没有已知的减少。
2010-07-14 cs.DC
Self-Stabilizing Pulse Synchronization Inspired by Biological Pacemaker Networks
我们定义的“脉冲同步”的问题，需要节点实现紧密同步的定期脉冲事件，在分布式计算系统的设置。脉冲耦合同步是一种由各种生物系统显示的现象，通常克服高水平的噪声。受这种生物模型的启发，提出了一种适用于分布式计算机系统的鲁棒自稳定拜占庭脉冲同步算法。该算法达到接近最佳的同步紧密性，同时容忍多达三分之一的节点表现出拜占庭行为并发。脉冲同步以前已被证明是一个强大的积木设计算法在这个严重的故障模型。我们之前已经展示了如何使用脉冲同步来稳定一般的拜占庭算法。据我们所知，没有其他方案可以在不使用同步脉冲的情况下做到这一点。
2008-03-04 cs.DC
Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses
根据定义，自稳定协议提供对瞬时故障的容忍。最近，出现了一类新的自稳定协议。这些协议还提供了对给定数量的永久故障的容忍度。在这篇文章中，我们感兴趣的是处理拜占庭式故障的自稳定协议。我们证明了，对于一些不允许严格稳定化的问题（见[Nesterenko，Arora，2002]），如果我们定义一个新的容忍标准，存在容忍拜占庭故障的解决方案。
2010-04-29 cs.DC
Self-Stabilization and Byzantine Tolerance for Maximal Independent Set
我们分析了一般网络中瞬时故障和拜占庭故障对最大独立集构造的影响。我们采用Turau \cite{turau2007linear}提出的自稳定算法来计算这样的顶点集。我们的算法是自稳定的，也适用于更困难的情况下，任意拜占庭故障。拜占庭节点可以阻止靠近它们的节点在任意长的时间内参与独立集。我们通过关注所有节点的集合来确定它们的影响范围，这些节点不包括距离为1或更小的拜占庭节点，也不包括距离为2的一些节点。据我们所知，我们提出了第一个算法容忍下公平分布式守护进程的瞬态和拜占庭故障。我们证明了该算法在$ \mathcal O(Δn)$轮内收敛，其中$n$和$Δ$分别是网络的大小和最大度。此外，我们提出了一个修改后的版本，该算法的匿名系统下的对抗分布式守护进程收敛在$ \mathcal O(n^{2})$预期的步骤数。
2021-11-16 cs.DC
Node-Initiated Byzantine Consensus Without a Common Clock
大多数关于共识的文献假设协议在分布式系统的所有节点上联合启动。我们将展示如何删除这个有问题的假设在半同步系统中，消息延迟和本地时钟的相对漂移可能会在已知的范围内任意变化。我们的框架是自稳定和有效的通信和时间方面，更具体地说，相比于同步启动的非自稳定协议的同步模型，我们实现了一个常数因子增加的时间和通信位完成一个实例，加上附加的通信开销O（n log n）广播位每时间单位和节点。后者可以进一步减少，但时间复杂度增加。
2013-07-31 cs.DC
Randomization Adaptive Self-Stabilization
我们提出了一个计划，将自稳定算法，使用随机化收敛过程中和收敛后的自稳定算法，仅在收敛过程中使用随机化。因此，我们减少了随机位的数量从一个无限的数量到一个有界的数量。该方案适用于每个节点存在局部谓词的情况，使得局部谓词的并集隐含全局一致性。我们证明了我们的计划在令牌循环算法的赫尔曼和最近的常数时间拜占庭自稳定时钟同步算法的Ben-Or，Dolev和Hoch。我们的计划的应用结果在第一个恒定的时间拜占庭自稳定的时钟同步算法，使用有限数量的随机位。
2008-10-24 cs.DC
Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering - Feasibility Study -
JAIST（日本北陆先端科学技术大学院大学）
集合是协作移动机器人中的一个基本协调问题。简而言之，给定一组具有任意初始位置并且在全局坐标系上没有初始协议的机器人，收集要求所有机器人按照其算法到达完全相同但不是预定的位置。在机器人不经意的网络中，收集尤其具有挑战性（即，无国籍）和直接通信被对各自位置的观察所取代。有趣的是，如果没有对机器人的初始分布做出特定的假设，那么任何解决不经意机器人聚集问题的算法都具有内在的自稳定性。在本文中，我们显著扩展了在不同假设下的确定性收集可行性的研究。这篇手稿大大扩展了在DISC 2006会议上作为扩展摘要提出的初步结果[7]。当前版本自2012年2月（以前的形式）和2014年以来以当前形式在分布式计算杂志上进行评审。最重要的结果也已在MAC 2010年8月15日至17日在渥太华举办的同步和故障（崩溃和拜占庭）有关。与以前的工作不同，我们考虑了一个更大的调度策略，如有界调度器。此外，我们将我们的研究扩展到无故障和易故障环境中概率自稳定采集的可行性。
2016-02-17 cs.DC cs.RO
Self-stabilization and byzantine tolerance for maximal independent
本文提出首个在公平分布式守护进程下同时容忍瞬态故障和拜占庭故障的最大独立集自稳定算法，并给出其收敛上界及匿名系统下的改进版本。
2024-06-10 cs.DC
The Impact of Topology on Byzantine Containment in Stabilization
自稳定是一种通用的容错方法，因为它允许分布式系统从任意破坏系统中所有存储器内容的任何瞬时故障中恢复。拜占庭容忍是分布式系统的一个重要特性，它允许系统处理任意恶意行为。我们认为，在这种情况下，构建一个最大度量树的著名问题。结合这两个属性证明是困难的：我们证明，这是不可能包含拜占庭节点的影响，在一个自稳定的上下文中的最大度量树的建设（严格稳定）。我们提出了一个较弱的遏制计划称为拓扑感知的严格稳定，并提出了一个协议，用于计算最大度量树，这是最佳的这个计划方面的不可能性的结果。
2010-05-07 cs.DC
