• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE Transactions on Parallel and Distributed Systems >Intrusion-Tolerant Broadcast and Agreement Abstractions in the Presence of Byzantine Processes
【24h】

Intrusion-Tolerant Broadcast and Agreement Abstractions in the Presence of Byzantine Processes

机译：拜占庭式进程存在下的入侵容忍广播和协议抽象

获取原文
获取原文并翻译 | 示例
       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

A process commits a Byzantine failure when its behavior does not comply with the algorithm it is assumed to execute. Considering asynchronous message-passing systems, this paper presents distributed abstractions, and associated algorithms, that allow non-faulty processes to correctly cooperate, despite the uncertainty created by the net effect of asynchrony and Byzantine failures. These abstractions are broadcast abstractions (namely, no-duplicity broadcast, reliable broadcast, and validated broadcast), and agreement abstraction (namely, consensus). While no-duplicity broadcast and reliable broadcast are well-known one-to-all communication abstractions, validated broadcast is a new all-to-all communication abstraction designed to address agreement problems. After having introduced these abstractions, the paper presents an algorithm implementing validated broadcast on top of reliable broadcast. Then the paper presents two consensus algorithms, which are reductions of multivalued consensus to binary consensus. The first one is a generic algorithm, that can be instantiated with unreliable broadcast or no-duplicity broadcast, while the second is a consensus algorithm based on validated broadcast. Finally, a third algorithm is presented that solves the binary consensus problem. This algorithm is a randomized algorithm based on validated broadcast and a common coin. The presentation of all the abstractions and their algorithms is done incrementally.
机译：当进程的行为与假定执行的算法不一致时，该进程将发生拜占庭式故障。考虑到异步消息传递系统，尽管存在异步和拜占庭式故障的净影响，但本文提出了分布式抽象和相关算法，这些算法允许无故障的流程正确协作。这些抽象是广播抽象（即，无重复广播，可靠广播和经过验证的广播）和协议抽象（即，共识）。尽管无重复广播和可靠广播是众所周知的一对一通信抽象，但经过验证的广播是一种旨在解决协议问题的新型的全部通信抽象。在介绍了这些抽象之后，本文提出了一种在可靠广播的基础上实现经过验证的广播的算法。然后，本文提出了两种共识算法，即将多值共识简化为二进制共识。第一个是通用算法，可以用不可靠的广播或无重复广播实例化，而第二个是基于经过验证的广播的共识算法。最后，提出了解决二进制共识问题的第三种算法。该算法是基于有效广播和普通硬币的随机算法。所有抽象及其算法的呈现方式都是增量完成的。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号