@inproceedings{5c1cb06a309047d59143dd0370c12d56,
title = "Stabilizing trust and reputation for 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 = "2007",
month = dec,
day = "1",
language = "English",
isbn = "9783540766261",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "266--280",
booktitle = "Stabilization, Safety, and Security of Distributed Systems - 9th International Symposium, SSS 2007, Proceedings",
note = "9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2007 ; Conference date: 14-11-2007 Through 16-11-2007",
}