Sequential and Parallel Attack Tree Modelling
| Autor: | Arnold, Florian, Guck, Dennis, Kumar, Rajesh, Stoelinga, Mariëlle, Koornneef, Floor, van Gulijk, Coen |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2015 |
| Předmět: |
Attack Tree
Security analysis Computer science Attack tree Extension (predicate logic) Computer security computer.software_genre Sequential and parallel SEQ-OR EC Grant Agreement nr.: FP7/318003 Case Studies METIS-312708 IR-97256 EC Grant Agreement nr.: FP7/2007-2013 EWI-26252 Markov Automata computer |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783319242484 SAFECOMP Workshops Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings, 291-299 STARTPAGE=291;ENDPAGE=299;TITLE=Computer Safety, Reliability, and Security |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-24249-1_25 |
| Popis: | The intricacy of socio-technical systems requires a careful planning and utilisation of security resources to ensure uninterrupted, secure and reliable services. Even though many studies have been conducted to understand and model the behaviour of a potential attacker, the detection of crucial security vulnerabilities in such a system still provides a substantial challenge for security engineers. The success of a sophisticated attack crucially depends on two factors: the resources and time available to the attacker; and the stepwise execution of interrelated attack steps. This paper presents an extension of dynamic attack tree models by using both, the sequential and parallel behaviour of AND and OR-gates. Thereby we take great care to allow the modelling of any kind of temporal and stochastic dependencies which might occur in the model. We demonstrate the applicability on several case studies. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|