Byzantine-Tolerant Gathering of Mobile Agents in Asynchronous Arbitrary Networks with Authenticated Whiteboards

• Published in: IEICE Transactions on Information and Systems Vol. E103.D; no. 7; pp. 1672 - 1682
• Main Authors: TSUCHIDA, Masashi, OOSHITA, Fukuhito, INOUE, Michiko
• Format: Journal Article
• Language: English
• Published: Tokyo The Institute of Electronics, Information and Communication Engineers 01.07.2020; Japan Science and Technology Agency
• Subjects: Agents (artificial intelligence); Algorithms; Byzantine fault; gathering problem; mobile agent; Network topologies; Reagents; Whiteboards
• ISSN: 0916-8532; 1745-1361
• DOI: 10.1587/transinf.2019EDP7311

We propose two algorithms for the gathering of k mobile agents in asynchronous Byzantine environments. For both algorithms, we assume that graph topology is arbitrary, each node is equipped with an authenticated whiteboard, agents have unique IDs, and at most f weakly Byzantine agents exist. Here, a weakly Byzantine agent can make arbitrary behavior except falsifying its ID. Under these assumptions, the first algorithm achieves a gathering without termination detection in O(m+fn) moves per agent (m is the number of edges and n is the number of nodes). The second algorithm achieves a gathering with termination detection in O(m+fn) moves per agent by additionally assuming that agents on the same node are synchronized, $f<\lceil \frac{1}{3} k \rceil$ holds, and agents know k. To the best of our knowledge, this is the first work to address the gathering problem of mobile agents for arbitrary topology networks in asynchronous Byzantine environments.