On the Effects of Finite Memory on Intrusion-Tolerant Systems

Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Verissimo

The 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 07)

Abstract

Intrusion tolerance has been proposed for some years now as a new paradigm for computer systems security. In environments like the Internet, faults follow unusual patterns, dictated by the combination of malicious attacks with natural faults such as long communication delays, e.g., due to temporary network partitions. In this scenario, attackers can force buffer overflows in order to leave the system in an inconsistent state or to prevent it from doing progress, causing a denial of service. This paper is about the effects that finite memory has on intrusion tolerant protocols and systems.

BibTeX

@InProceedings{gsveronese07finiteMemory,
    author = {Giuliana Santos Veronese and Miguel Correia and Lau Cheuk Lung and Paulo Verissimo},
    title = {On the Effects of Finite Memory on Intrusion-Tolerant Systems},
    booktitle = {PRDC '07: 13th IEEE Pacific Rim International Symposium on Dependable Computing },
    address = {Melbourn, Australia},
    year = {2007},
    month = {december}
}

Extended Version

Download the pdf.