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