Model-based validation of an intrusion-tolerant information system

Fabrice Stevens, Tod Courtney, Sankalp Singh, Adnan Agbariat, John F. Meyer, William H. Sanders, Partha Pal

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

An increasing number of computer systems are designed to be distributed across both local and wide-area networks, performing a multitude of critical information-sharing and computational tasks. Malicious attacks on such systems are a growing concern, where attackers typically seek to degrade quality of service by intrusions that exploit vulnerabilities in networks, operating systems, and application software. Accordingly, designers are seeking improved techniques for validating such systems with respect to specified survivability requirements. In this regard, we describe a model-based validation effort that was undertaken as part of a unified approach to validating a networked intrusiontolerant information system. Model-based results were used to guide the system's design as well as to determine whether a given survivability requirement was satisfied.

Original languageEnglish (US)
Title of host publicationProceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2004
Pages184-194
Number of pages11
DOIs
StatePublished - 2004
Event23rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2004 - Florianopolis, Brazil
Duration: Oct 18 2004Oct 20 2004

Publication series

NameProceedings of the IEEE Symposium on Reliable Distributed Systems
ISSN (Print)1060-9857

Other

Other23rd IEEE International Symposium on Reliable Distributed Systems, SRDS 2004
Country/TerritoryBrazil
CityFlorianopolis
Period10/18/0410/20/04

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint

Dive into the research topics of 'Model-based validation of an intrusion-tolerant information system'. Together they form a unique fingerprint.

Cite this