ASCENT: a Provably-Terminating Decentralized Logging Service

Xavier Bonnaire 1, 2 Rudyar Cortés 3 Fabrice Kordon 4 Olivier Marin 3
1 Departamento de Informatica [Valparaíso, Chile]
2 UTFSM - Universidad Tecnica Federico Santa Maria [Valparaiso]
3 Regal - Large-Scale Distributed Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria de Paris
4 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Building a certification authority that is both decentralized and fully reliable is impossible. However, the limitation thus imposed on scalability is unacceptable for many types of information systems, such as e-government services, which require an infrastructure able to support heavy computation loads while remaining highly reliable. Our scalable approach opts for the next best thing to full reliability: a certification authority with a probability of arbitrary failure so low that, in practice, false positives should never occur.
Keywords : Certification Large Scale Formal Verification Reliability Formal Verification Reliability Certification
Document type :
Journal articles
Liste complète des métadonnées

Cited literature [44 references]  Display  Hide  Download
https://hal.sorbonne-universite.fr/hal-01547514
Contributor : Fabrice Kordon <>
Submitted on : Monday, October 2, 2017 - 7:54:54 PM
Last modification on : Thursday, March 21, 2019 - 1:12:07 PM

File

HALCompJournal.pdf
Files produced by the author(s)

Identifiers

Collections

UPMC | INRIA | LIP6 | INRIA2017 | INRIA-ROCQ | SORBONNE-UNIVERSITE | SU-SCIENCES

Citation

Xavier Bonnaire, Rudyar Cortés, Fabrice Kordon, Olivier Marin. ASCENT: a Provably-Terminating Decentralized Logging Service. The Computer Journal, Oxford University Press (UK), 2017, to be published, 60 (12), pp.1889-1911. ⟨10.1093/comjnl/bxx076⟩. ⟨hal-01547514⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

555

Files downloads

69

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD