Pages that link to "Item:Q5170872"
From MaRDI portal
The following pages link to Building secure file systems out of byzantine storage (Q5170872):
Displaying 7 items.
- Replicated data types that unify eventual consistency and observable atomic consistency (Q780057) (← links)
- Fork sequential consistency is blocking (Q976120) (← links)
- Verifying the consistency of remote untrusted services with conflict-free operations (Q1753995) (← links)
- Towards a theory of data entanglement (Q2465624) (← links)
- Integrity and Consistency for Untrusted Services (Q3075506) (← links)
- A Shared Steganographic File System with Error Correction (Q3540959) (← links)
- Formal Analysis of Dynamic, Distributed File-System Access Controls (Q3613061) (← links)