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. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Bursztein, E., & Goubault-Larrecq, J. (2007). A logical framework for evaluating network resilience against faults and attacks. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4846 LNCS, pp. 212–227). Springer Verlag. https://doi.org/10.1007/978-3-540-76929-3_20
Mendeley helps you to discover research relevant for your work.