ASCENT: A Provably Terminating Decentralized Logging Service. (7th September 2017)

• Record Type: Journal Article
• Authors: Bonnaire, Xavier; Cortés, Rudyar; Kordon, Fabrice; Marin, Olivier
• Is Part Of: Computer journal. Volume 60:Number 12(2017)
• Page Start: 1889
• Page End: 1911
• Publication Date: 2017-09-07
• Subjects: large scale -- certification -- reliability -- formal verification; Computers -- Periodicals; 005.1
• DOI: 10.1093/comjnl/bxx076
• Languages: English
• ISSNs: 0010-4620

Abstract

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.