A Logical Framework for Evaluating Network Resilience Against Faults and Attacks

Elie Bursztein; Jean Goubault-Larrecq

formal methods

A Logical Framework for Evaluating Network Resilience Against Faults and Attacks

By Elie Bursztein, Jean Goubault-Larrecq @ASIAN 2007

0 reaction(s) | 558 downloads

The anticipation-games are a logic-based framework designed to evaluate the resilience of networks against attacks. What set anticipation-games from standard attack graphs is that it allows to model the dynamic nature of the attack and to take into account how the administrator respond to attacks .

You liked it, share it !

Downloads

paper

slides

@INPROCEEDINGS {
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(ASIAN)}
year	= {2007}
month	= {December}
url	= {\url{http://elie.im/publication/a-logical-framework-for-evaluating-network-resilience-against-faults-and-attacks}}
}