Abstract
The success of a security attack crucially depends on time: the more time available to the attacker, the higher the probability of a successful attack. Formalisms such as Reliability block diagrams, Reliability graphs and Attack Countermeasure trees provide quantitative information about attack scenarios, but they are provably insufficient to model dependent actions which involve costs, skills, and time. In this presentation, we extend the Attack Countermeasure trees with a notion of time; inspired by the fact that there is a strong correlation between the amount of resources in which the attacker invests (in this case time) and probability that an attacker succeeds. This allows for an effective selection of countermeasures and rank them according to their resource consumption in terms of costs/skills of installing them and effectiveness in preventing an attack.
Original language | Undefined |
---|---|
Title of host publication | Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015) |
Place of Publication | France |
Publisher | INRIA |
Pages | 1-5 |
Number of pages | 4 |
ISBN (Print) | not assigned |
Publication status | Published - Apr 2015 |
Event | 13th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015 - London, United Kingdom Duration: 11 Apr 2015 → 12 Apr 2015 Conference number: 13 |
Publication series
Name | |
---|---|
Publisher | Inria |
Workshop
Workshop | 13th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015 |
---|---|
Abbreviated title | QAPL |
Country/Territory | United Kingdom |
City | London |
Period | 11/04/15 → 12/04/15 |
Keywords
- EC Grant Agreement nr.: FP7/2007-2013
- EC Grant Agreement nr.: FP7/318003
- EWI-25984
- IR-97667
- Counter measure trees
- time dependent analysis
- METIS-312583
- Attack trees