Verifying the consistency of remote untrusted services with conflict-free operations (Q1753995)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verifying the consistency of remote untrusted services with conflict-free operations |
scientific article |
Statements
Verifying the consistency of remote untrusted services with conflict-free operations (English)
0 references
30 May 2018
0 references
cloud computing
0 references
fork-linearizability
0 references
data integrity
0 references
verifiable computation
0 references
conflict-free operations
0 references
Byzantine emulation
0 references
