Self-stabilizing efficient hosts in spite of Byzantine guests

Shlomi Dolev; Reuven Yagel

doi:10.1145/1842733.1842746

Self-stabilizing efficient hosts in spite of Byzantine guests

Shlomi Dolev, Reuven Yagel

Department of Computer Science

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	65-74
Number of pages	10
Journal	Operating Systems Review (ACM)
Volume	44
Issue number	3
DOIs	https://doi.org/10.1145/1842733.1842746
State	Published - 1 Jul 2010

Keywords

Byzantine programs
Host systems
Security
Self-stabilization
Trust and reputation

ASJC Scopus subject areas

Information Systems
Hardware and Architecture
Computer Networks and Communications

Access to Document

10.1145/1842733.1842746

Cite this

@article{5f415b8075554e57ab84a0271ee09728,

title = "Self-stabilizing efficient hosts in spite of Byzantine guests",

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.",

keywords = "Byzantine programs, Host systems, Security, Self-stabilization, Trust and reputation",

author = "Shlomi Dolev and Reuven Yagel",

year = "2010",

month = jul,

day = "1",

doi = "10.1145/1842733.1842746",

language = "English",

volume = "44",

pages = "65--74",

journal = "Operating Systems Review (ACM)",

issn = "0163-5980",

publisher = "Association for Computing Machinery (ACM)",

number = "3",

}

TY - JOUR

T1 - Self-stabilizing efficient hosts in spite of Byzantine guests

AU - Dolev, Shlomi

AU - Yagel, Reuven

PY - 2010/7/1

Y1 - 2010/7/1

N2 - 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.

AB - 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.

KW - Byzantine programs

KW - Host systems

KW - Security

KW - Self-stabilization

KW - Trust and reputation

UR - http://www.scopus.com/inward/record.url?scp=77958142691&partnerID=8YFLogxK

U2 - 10.1145/1842733.1842746

DO - 10.1145/1842733.1842746

M3 - Article

AN - SCOPUS:77958142691

SN - 0163-5980

VL - 44

SP - 65

EP - 74

JO - Operating Systems Review (ACM)

JF - Operating Systems Review (ACM)

IS - 3

ER -

Self-stabilizing efficient hosts in spite of Byzantine guests

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this