Self-stabilizing efficient hosts in spite of Byzantine guests

Shlomi Dolev, Reuven Yagel

Research output: Contribution to journalArticlepeer-review

1 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
Pages (from-to)65-74
Number of pages10
JournalOperating Systems Review (ACM)
Volume44
Issue number3
DOIs
StatePublished - 1 Jul 2010

Keywords

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

Cite this