<div class="csl-bib-body">
<div class="csl-entry">Schlögl, T., & Schmid, U. (2023). A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems. In R. Verbrugge (Ed.), <i>Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge</i> (pp. 487–506). https://doi.org/10.4204/EPTCS.379.37</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/189553
-
dc.description.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.
en
dc.description.sponsorship
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.language.iso
en
-
dc.relation.ispartofseries
Electronic Proceedings in Theoretical Computer Science
-
dc.subject
Runs and systems
en
dc.subject
Distributed fault-tolerant systems
en
dc.subject
Dynamic epistemic logic
en
dc.subject
Kripke models
en
dc.title
A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.relation.doi
10.4204/EPTCS.379
-
dc.relation.issn
2075-2180
-
dc.description.startpage
487
-
dc.description.endpage
506
-
dc.relation.grantno
P32431-N30
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge
