Model Checking Exact Cost for Attack Scenarios

DOI10.1007/978-3-662-54455-6_10zbMath1444.68102OpenAlexW2600356401WikidataQ51540430 ScholiaQ51540430MaRDI QIDQ3304816

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

Markov decision processesprobabilistic model checkingattack treesprobabilistic temporal logic

Mathematics Subject Classification ID

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

Related Items (2)

Assessing security of cryptocurrencies with attack-defense trees: proof of concept and future directions ⋮ Is my attack tree correct?

Cites Work

• A logic for reasoning about time and reliability
• Automatic verification of competitive stochastic systems
• Quantitative Attack Tree Analysis via Priced Timed Automata
• Quantitative Multi-objective Verification for Probabilistic Systems
• An Analysis of Stochastic Shortest Path Problems
• Computing Quantiles in Markov Reward Models
• Quantitative Questions on Attack–Defense Trees
• Formal Modeling and Analysis of Timed Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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