动态网络中面包 Byzantine 可靠通信的可解性
分布式、并行与集群计算
2026-05-27 v4
摘要
可靠通信原语保证了分布式系统中正确进程之间消息的递送、完整性和 authorship。我们研究在动态网络中进行可靠通信的必要且充分条件，其中网络拓扑随时间演化，同时存在有限数量的拜占庭故障进程可能以任意方式行为(即在全局受限拜占庭故障模型中)。我们识别了满足此类条件的动态网络类别，并扩展了分析涵盖消息丢失、局部计算（带不可确定的有限延迟）以及经过身份验证的消息。
引用
@article{arxiv.2503.22452,
title = {On the Solvability of Byzantine-tolerant Reliable Communication in Dynamic Networks},
author = {Silvia Bonomi and Giovanni Farina and Sébastien Tixeuil},
journal= {arXiv preprint arXiv:2503.22452},
year = {2026}
}