Sciweavers

Share
ASIAN
2007
Springer

A Logical Framework for Evaluating Network Resilience Against Faults and Attacks

11 years 4 months ago
A Logical Framework for Evaluating Network Resilience Against Faults and Attacks
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faults. Our model uses a two-layered presentation of dependencies between files and services, and of timed games to represent not just incidents, but also the dynamic responses from administrators and their respective delays. We demonstrate that a variant TATL♦ of timed alternating-time temporal logic is a convenient language to express several desirable properties of networks, including several forms of survivability. We illustrate this on a simple redundant Web service architecture, and show that checking such timed games against the so-called TATL♦ variant of the timed alternating time temporal logic TATL is EXPTIME-complete.
Elie Bursztein, Jean Goubault-Larrecq
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where ASIAN
Authors Elie Bursztein, Jean Goubault-Larrecq
Comments (0)
books