Discovering, quantifying, and displaying attacks

DOI10.2168/LMCS-12(4:5)2016zbMath1405.68024arXiv1607.07720MaRDI QIDQ2974789

Hanne Riis Nielson, Flemming Nielson, Roberto Vigo

Publication date: 11 April 2017

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1607.07720

zbMATH Keywords

satisfiability modulo theoriesattack treeprotection analysisquality calculussecurity cost

Mathematics Subject Classification ID

Distributed systems (68M14) Authentication, digital signatures and secret sharing (94A62)

Uses Software

• QUAIL