A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems

Schlögl, Thomas; Schmid, Ulrich

doi:10.4204/EPTCS.379.37

Record link:

http://hdl.handle.net/20.500.12708/189553

Title:

A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems

Citation:

Schlögl, T., & Schmid, U. (2023). A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems. In R. Verbrugge (Ed.), Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge (pp. 487–506). https://doi.org/10.4204/EPTCS.379.37

Publisher DOI:

10.4204/EPTCS.379.37

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Schlögl, Thomas
Schmid, Ulrich

Organisational Unit:

E191-02 - Forschungsbereich Embedded Computing Systems

Published in:

Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge

Volume:

379

DOI of the book:

10.4204/EPTCS.379

Date (published):

11-Jul-2023

Event name:

Theoretical Aspects of Rationality & Knowledge (TARK-2023)

Event date:

28-Jun-2023 - 30-Jun-2023

Event place:

Oxford, United Kingdom of Great Britain and Northern Ireland (the)

Number of Pages:

Peer reviewed:

Yes

Keywords:

Runs and systems; Distributed fault-tolerant systems; Dynamic epistemic logic; Kripke models

Abstract:

Existing protocols for byzantine fault tolerant distributed systems usually rely on the correct agents' ability to detect faulty agents and/or to detect the occurrence of some event or action on some correct agent. In this paper, we provide sufficient conditions that allow an agent to infer the appropriate beliefs from its history, and a procedure that allows these conditions to be checked in finite time. Our results thus provide essential stepping stones for developing efficient protocols and proving them correct.

Project title:

Digitale Modellierung Asynchroner Integrierter Schaltungen: P32431-N30 (FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF))

Link (external):

https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?TARK2023.37

Research Areas:

Computer Engineering and Software-Intensive Systems: 100%

Science Branch:

1020 - Informatik: 100%

Appears in Collections:

Conference Paper

Show full item record