Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of byzantine guests

Shlomi Dolev, Reuven Yagel

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations

Abstract

This work presents a general and complete method to protect a system against possible malicious programs. We provide concepts for building a system that can automatically recover from an arbitrary state including even one in which a Byzantine execution of one or more programs repeatedly attempts to corrupt the system state. Preservation of a guest execution is guaranteed as long as the guest respects a predefined contract, while efficiency is improved by using stabilizing reputation. We augment a provable self-stabilizing host operating system implementation with a contract-enforcement framework example.

Original languageEnglish
Title of host publicationStabilization, Safety, and Security of Distributed Systems - 9th International Symposium, SSS 2007, Proceedings
Pages266-280
Number of pages15
StatePublished - 1 Dec 2007
Event9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2007 - Paris, France
Duration: 14 Nov 200716 Nov 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4838 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2007
Country/TerritoryFrance
CityParis
Period14/11/0716/11/07

Keywords

  • Byzantine programs
  • Host systems
  • Security
  • Self-stabilization
  • Trust and reputation

Fingerprint

Dive into the research topics of 'Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of byzantine guests'. Together they form a unique fingerprint.

Cite this