English
Related papers

Related papers: Efficient Algorithms for Quantitative Attack Tree …

200 papers

The ADTool is free, open source software assisting graphical modeling and quantitative analysis of security, using attack-defense trees. The main features of the ADTool are easy creation, efficient editing, and automated bottom-up…

Cryptography and Security · Computer Science 2013-06-12 Barbara Kordy , Piotr Kordy , Sjouke Mauw , Patrick Schweitzer

Numerous security metrics have been proposed in the past for protecting computer networks. However we still lack effective techniques to accurately measure the predictive security risk of an enterprise taking into account the dynamic…

Cryptography and Security · Computer Science 2015-01-09 Subil Abraham , Suku Nair

A simple and computationally efficient scheme for tree-structured vector quantization is presented. Unlike previous methods, its quantization error depends only on the intrinsic dimension of the data distribution, rather than the apparent…

Machine Learning · Statistics 2008-05-12 Sanjoy Dasgupta , Yoav Freund

The goal of this note is to assess whether simple machine learning algorithms can be used to determine whether and how a given network has been attacked. The procedure is based on the $k$-Nearest Neighbor and the Random Forest…

Physics and Society · Physics 2023-08-30 Davide Coppes , Paolo Cermelli

Attack-defense trees (ADTs) are a prominent graphical threat modeling method that is highly recommended for analyzing and communicating security-related information. Despite this, existing empirical studies of attack trees have established…

Cryptography and Security · Computer Science 2025-04-01 Nathan Daniel Schiele , Olga Gadyatskaya

Attack trees (ATs) are an important tool in security analysis, and an important part of AT analysis is computing metrics. However, metric computation is NP-complete in general. In this paper, we showcase the use of mixed integer linear…

Cryptography and Security · Computer Science 2023-09-12 Milan Lopuhaä-Zwakenberg , Mariëlle Stoelinga

Machine learning based network intrusion detection systems are vulnerable to adversarial attacks that degrade classification performance under both gradient-based and distribution shift threat models. Existing defenses typically apply…

Cryptography and Security · Computer Science 2026-03-03 Oluseyi Olukola , Nick Rahimi

Expressing attack-defence trees in a multi-agent setting allows for studying a new aspect of security scenarios, namely how the number of agents and their task assignment impact the performance, e.g. attack time, of strategies executed by…

Multiagent Systems · Computer Science 2023-10-20 Jaime Arias , Carlos Olarte , Laure Petrucci , Łukasz Maśko , Wojciech Penczek , Teofil Sidoruk

We introduce a new spatial data structure for high dimensional data called the \emph{approximate principal direction tree} (APD tree) that adapts to the intrinsic dimension of the data. Our algorithm ensures vector-quantization accuracy…

Machine Learning · Computer Science 2012-06-22 Mark McCartin-Lim , Andrew McGregor , Rui Wang

Self-adaptive systems offer several attack surfaces due to the communication via different channels and the different sensors required to observe the environment. Often, attacks cause safety to be compromised as well, making it necessary to…

Cryptography and Security · Computer Science 2023-09-19 Thomas Witte , Raffaela Groner , Alexander Raschke , Matthias Tichy , Irdin Pekaric , Michael Felderer

Expressing attack-defence trees in a multi-agent setting allows for studying a new aspect of security scenarios, namely how the number of agents and their task assignment impact the performance, e.g. attack time, of strategies executed by…

Multiagent Systems · Computer Science 2022-05-02 Jaime Arias , Łukasz Maśko , Wojciech Penczek , Laure Petrucci , Teofil Sidoruk

This paper describes our ongoing work on security verification against inference attacks on data trees. We focus on infinite secrecy against inference attacks, which means that attackers cannot narrow down the candidates for the value of…

Cryptography and Security · Computer Science 2013-12-18 Ryo Iwase , Yasunori Ishihara , Toru Fujiwara

We study the problem of efficient adversarial attacks on tree based ensembles such as gradient boosting decision trees (GBDTs) and random forests (RFs). Since these models are non-continuous step functions and gradient does not exist, most…

Machine Learning · Computer Science 2020-10-23 Chong Zhang , Huan Zhang , Cho-Jui Hsieh

Security of computers and the networks that connect them is increasingly becoming of great significance. Intrusion detection system is one of the security defense tools for computer networks. This paper compares two different model…

Cryptography and Security · Computer Science 2012-08-30 Heba Ezzat Ibrahim , Sherif M. Badr , Mohamed A. Shaheen

Attack graphs are commonly used to analyse the security of medium-sized to large networks. Based on a scan of the network and likelihood information of vulnerabilities, attack graphs can be transformed into Bayesian Attack Graphs (BAGs).…

Cryptography and Security · Computer Science 2021-03-18 Isaac Matthews , John Mace , Sadegh Soudjani , Aad van Moorsel

Active cyber defenses based on temporal platform diversity have been proposed as way to make systems more resistant to attacks. These defenses change the properties of the platforms in order to make attacks more complicated. Unfortunately,…

Cryptography and Security · Computer Science 2014-02-03 Kevin M. Carter , Hamed Okhravi , James Riordan

Decision trees are one of the most useful and popular methods in the machine learning toolbox. In this paper, we consider the problem of learning optimal decision trees, a combinatorial optimization problem that is challenging to solve at…

Machine Learning · Computer Science 2022-07-01 Rahul Mazumder , Xiang Meng , Haoyue Wang

Rectangular treemaps are often the method of choice to visualize large hierarchical datasets. Nowadays such datasets are available over time, hence there is a need for (a) treemaps that can handle time-dependent data, and (b) corresponding…

Computational Geometry · Computer Science 2020-01-10 Eduardo Vernier , Max Sondag , Joao Comba , Bettina Speckmann , Alexandru Telea , Kevin Verbeek

The ever-evolving capabilities of cyber attackers force security administrators to focus on the early identification of emerging threats. Targeted cyber attacks usually consist of several phases, from initial reconnaissance of the network…

Cryptography and Security · Computer Science 2022-06-22 Lukáš Sadlek , Pavel Čeleda , Daniel Tovarňák

We consider random binary trees that appear as the output of certain standard algorithms for sorting and searching if the input is random. We introduce the subtree size metric on search trees and show that the resulting metric spaces…

Probability · Mathematics 2014-05-06 Rudolf Grübel