1 Search Results for "Cogo, Vinicius Vielmo"

Document
Brief Announcement
DOI: 10.4230/LIPIcs.DISC.2021.53
Brief Announcement: Auditable Register Emulations

Authors: Vinicius Vielmo Cogo and Alysson Bessani

Published in: LIPIcs, Volume 209, 35th International Symposium on Distributed Computing (DISC 2021)

Abstract
We initiate the study of auditable storage emulations, which provide the capability for an auditor to report the previously executed reads in a register. We define the notion of auditable register and its properties, and establish tight bounds and impossibility results for auditable storage emulations in the presence of faulty base storage objects. Our formulation considers registers that securely store data using information dispersal (each base object stores only a block of the written value) and supporting fast reads (that complete in one communication round-trip). In such a scenario, given a maximum number f of faulty storage objects and a minimum number τ of data blocks required to recover a stored value, we prove that (R1) auditability is impossible if τ ≤ 2f; (R2) implementing a weak form of auditability requires τ ≥ 3f+1; and (R3) a stronger form of auditability is impossible. We also show that (R4) signing read requests generically overcomes the lower bound of weak auditability, while (R5 and R6) totally ordering operations or using non-fast reads enables strong auditability. These results establish that practical storage emulations need f to 2f additional objects compared to their original lower bounds to support auditability.
Cite as

Vinicius Vielmo Cogo and Alysson Bessani. Brief Announcement: Auditable Register Emulations. In 35th International Symposium on Distributed Computing (DISC 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 209, pp. 53:1-53:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@InProceedings{cogo_et_al:LIPIcs.DISC.2021.53,
  author =	{Cogo, Vinicius Vielmo and Bessani, Alysson},
  title =	{{Brief Announcement: Auditable Register Emulations}},
  booktitle =	{35th International Symposium on Distributed Computing (DISC 2021)},
  pages =	{53:1--53:4},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-210-5},
  ISSN =	{1868-8969},
  year =	{2021},
  volume =	{209},
  editor =	{Gilbert, Seth},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2021.53},
  URN =		{urn:nbn:de:0030-drops-148558},
  doi =		{10.4230/LIPIcs.DISC.2021.53},
  annote =	{Keywords: Auditability, Secure Storage, Information Dispersal}
}
  • Refine by Author
  • 1 Bessani, Alysson
  • 1 Cogo, Vinicius Vielmo

  • Refine by Classification
  • 1 Applied computing → Evidence collection, storage and analysis
  • 1 Computer systems organization → Reliability
  • 1 Computing methodologies → Distributed algorithms
  • 1 Security and privacy → Information accountability and usage control

  • Refine by Keyword
  • 1 Auditability
  • 1 Information Dispersal
  • 1 Secure Storage

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2021

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact