Model Checking Exact Cost for Attack Scenarios

DOI10.1007/978-3-662-54455-6_10MaRDI QIDQ3304816zbMATH OpenOpenAlexWikidataFDO

Authors Zaruhi Aslanyan, Flemming Nielson

Publication date 3 August 2020

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-54455-6_10

zbMATH Keywords

attack treesMarkov decision processesprobabilistic model checkingprobabilistic temporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Computer security (68M25) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Quantitative attack tree analysis via priced timed automata
• Attack-defense trees
• Upper bounds for adversaries' utility in attack trees
• Parametric analyses of attack-fault trees
• New Efficient Utility Upper Bounds for the Fully Adaptive Model of Attack Trees

Cites work

• A logic for reasoning about time and reliability
• An Analysis of Stochastic Shortest Path Problems
• Automatic verification of competitive stochastic systems
• Computing quantiles in Markov reward models
• Formal Modeling and Analysis of Timed Systems
• scientific article; zbMATH DE number 1670870 (Why is no real title available?)
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3240812 (Why is no real title available?)
• Quantitative attack tree analysis via priced timed automata
• Quantitative multi-objective verification for probabilistic systems
• Quantitative questions on attack-defense trees

Cited in

(16)

• Probabilistic reasoning with graphical security models
• Simple infeasibility certificates for attack trees
• Assessing security of cryptocurrencies with attack-defense trees: proof of concept and future directions
• Is my attack tree correct?
• Attack and defense in the layered cyber-security model and their \((1 \pm \varepsilon)\)-approximation schemes
• Attack trees in Isabelle
• Limiting adversarial budget in quantitative security assessment
• Quantitative attack tree analysis via priced timed automata
• Discovering, quantifying, and displaying attacks
• Semantics for specialising attack trees based on linear logic
• Modelling attack-defense trees using timed automata
• Upper bounds for adversaries' utility in attack trees
• Parametric analyses of attack-fault trees
• Janus: A Two-Sided Analytical Model for Multi-Stage Coordinated Attacks
• Expected Cost Analysis of Attack-Defense Trees
• Systematic classification of attackers via bounded model checking

This page was built for publication: Model Checking Exact Cost for Attack Scenarios

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3304816)