A logical framework for evaluating network resilience against faults and attacksA logical framework for evaluating network resilience against faults and attacks
  1. publications
  2. network security

A logical framework for evaluating network resilience against faults and attacks

Available Media

Publication (Pdf)

Slides (pdf)

Conference12th Asian Computing Science Conference
AuthorsElie Bursztein , Jean Goubault-Larrecq
Citation

Bibtex Citation

@inproceedings{ BURSZTEIN2007A,title = {A logical framework for evaluating network resilience against faults and attacks},author = {"Elie, Bursztein" and "Jean, Goubault-Larrecq"},booktitle = {12th Asian Computing Science Conference},year = {2007},organization = {Springer}}

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.

Recent

newsletter signup slide

Get cutting edge research directly in your inbox.

newsletter signup slide

Get cutting edge research directly in your inbox.