Scalable Composition of Byzantine Agreements under Reorder Attacks
拜占庭协议（BA）是分布式系统的核心基础组件，多实例执行下的安全性分析近年受到越来越多关注。然而现有敌手模型大多只考虑节点被腐化，忽视了通信信道被对抗性操纵带来的重要威胁。攻击者可通过信道攻击在多个协议执行实例之间对消息进行重排序，从而破坏
#protocol-composition
共收录 2 条相关情报。
← 返回所有主题Compositional Verification of Composite Byzantine Protocols.
拜占庭容错（BFT）协议是分布式系统中最难设计和推理的组件之一。近年来，形式化验证领域发展出多种计算机辅助方法，能够对独立（standalone）BFT 协议的安全性与活性进行自动化验证；与此同时，分布式计算社区也尝试将复杂协议拆分为更简单