This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Where the guarantee stopped
A subject the papers are about. The loosest grouping, and the one to reach for last.
Guarantees that were sound and failed anyway, because the failure arrived exactly where each one stopped. Collects the cases where a correct mechanism did not cover the fault that occurred. Membership requires the guarantee to have held on its own terms; a broken implementation belongs elsewhere.
3 references
Byzantine Failures and Security: Arbitrary is not (always) Random
Felix C. Gärtner (2003) · INFORMATIK 2003 – Mit Sicherheit Informatik, Schwerpunkt "Sicherheit – Schutz und Zuverlässigkeit" · Gesellschaft für Informatik e.V.
A logic of authentication
Michael Burrows and others (1990) · ACM Transactions on Computer Systems · Association for Computing Machinery
End-to-end arguments in system design
Jerome H. Saltzer and others (1984) · ACM Transactions on Computer Systems · Association for Computing Machinery