Sciweavers

Share
DSN
2000
IEEE

Survivability Analysis of Network Specifications

11 years 5 months ago
Survivability Analysis of Network Specifications
Survivabilityis the ability of a system to maintain a set of essential services despite the presence of abnormal events such as faults and intrusions. Ensuring system survivability has increased in importance as critical infrastructures have become heavily dependent on computers. In this paper we present a systematic method for performing survivability analysis of networks. A system architect injects fault and intrusion events into a given specification of a network and then visualizes the effects of the injected events in the form of scenario graphs. In our method, we automatically generate scenario graphs using model checking. Our method enables further global analysis, such as reliability analysis, where mathematical techniques used in different domains are combined in a systematic manner. We illustrate our an abstract model of the United States Payment System.
Sanjay K. Jha, Jeannette M. Wing, Richard C. Linge
Added 24 Aug 2010
Updated 24 Aug 2010
Type Conference
Year 2000
Where DSN
Authors Sanjay K. Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff
Comments (0)
books