中文
相关论文

相关论文: How to Generate Security Cameras: Towards Defence …

200 篇论文

Graphical security models constitute a well-known, user-friendly way to represent the security of a system. These kinds of models are used by security experts to identify vulnerabilities and assess the security of a system. The manual…

密码学与安全 · 计算机科学 2023-09-26 Alyzia-Maria Konsta , Beatrice Spiga , Alberto Lluch Lafuente , Nicola Dragoni

Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault Trees represent a combination of dynamic Fault Trees and Attack Trees and can be…

Security risk management can be applied on well-defined or existing systems; in this case, the objective is to identify existing vulnerabilities, assess the risks and provide for the adequate countermeasures. Security risk management can…

密码学与安全 · 计算机科学 2014-04-09 Stéphane Paul

Attack trees are a popular way to represent and evaluate potential security threats on systems or infrastructures. The goal of this work is to provide a framework allowing to express and check whether an attack tree is consistent with the…

密码学与安全 · 计算机科学 2018-02-12 Maxime Audinot , Sophie Pinchinat , Barbara Kordy

Attack graphs are a tool for analyzing security vulnerabilities that capture different and prospective attacks on a system. As a threat modeling tool, it shows possible paths that an attacker can exploit to achieve a particular goal.…

Attack Trees are a graphical model of security used to study threat scenarios. While visually appealing and supported by solid theories and effective tools, one of their main drawbacks remains the amount of effort required by security…

密码学与安全 · 计算机科学 2024-09-13 Alyzia-Maria Konsta , Gemma Di Federico , Alberto Lluch Lafuente , Andrea Burattin

Attack-defense trees are a novel methodology for graphical security modeling and assessment. The methodology includes visual, intuitive tree models whose analysis is supported by a rigorous mathematical formalism. Both, the intuitive and…

密码学与安全 · 计算机科学 2012-10-31 Barbara Kordy , Sjouke Mauw , Patrick Schweitzer

The power grid is a critical infrastructure that plays a vital role in modern society. Its availability is of utmost importance, as a loss can endanger human lives. However, with the increasing digitalization of the power grid, it also…

密码学与安全 · 计算机科学 2023-12-22 Ömer Sen , Bozhidar Ivanov , Martin Henze , Andreas Ulbig

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…

密码学与安全 · 计算机科学 2023-09-19 Thomas Witte , Raffaela Groner , Alexander Raschke , Matthias Tichy , Irdin Pekaric , Michael Felderer

Generative models learn the distribution of data from a sample dataset and can then generate new data instances. Recent advances in deep learning has brought forth improvements in generative model architectures, and some state-of-the-art…

密码学与安全 · 计算机科学 2021-07-30 Luke A. Bauer , Vincent Bindschaedler

Our decision-making processes are becoming more data driven, based on data from multiple sources, of different types, processed by a variety of technologies. As technology becomes more relevant for decision processes, the more likely they…

计算机与社会 · 计算机科学 2018-01-01 Tomasz Ostwald

By exploiting the increasing surface attack of systems, cyber-attacks can cause catastrophic events, such as, remotely disable safety mechanisms. This means that in order to avoid hazards, safety and security need to be integrated,…

计算机科学中的逻辑 · 计算机科学 2019-01-03 Vivek Nigam , Alexander Pretschner , Harald Ruess

This article addresses the problem of automatically generating attack trees that soundly and clearly describe the ways the system can be attacked. Soundness means that the attacks displayed by the attack tree are indeed attacks in the…

密码学与安全 · 计算机科学 2024-07-11 Olga Gadyatskaya , Sjouke Mauw , Rolando Trujillo-Rasuac , Tim A. C. Willemse

Attack-Defence Trees (ADTs) are well-suited to assess possible attacks to systems and the efficiency of counter-measures. In this paper, we first enrich the available constructs with reactive patterns that cover further security scenarios,…

密码学与安全 · 计算机科学 2019-10-24 Jaime Arias , Carlos E. Budde , Wojciech Penczek , Laure Petrucci , Mariëlle Stoelinga

Attack trees and attack graphs are both common graphical threat models used by organizations to better understand possible cybersecurity threats. These models have been primarily seen as separate entities, to be used and researched in…

密码学与安全 · 计算机科学 2021-10-07 Nathan Daniel Schiele , Olga Gadyatskaya

Deployment of distributed systems sets high requirements for procedures for the security testing of these systems. This work introduces: (1) a list of typical threats based on standards and actual practices; (2) an extended six-layered…

密码学与安全 · 计算机科学 2014-11-11 Vladimir A. Khlevnoy , Andrey A. Shchurov

This paper presents the current state of the art on attack and defense modeling approaches that are based on directed acyclic graphs (DAGs). DAGs allow for a hierarchical decomposition of complex scenarios into simple, easily understandable…

密码学与安全 · 计算机科学 2013-04-01 Barbara Kordy , Ludovic Piètre-Cambacédès , Patrick Schweitzer

As smart bands make life more convenient and provide a positive lifestyle, many people are now using them. Since smart bands deal with private information, security design and implementation for smart band system become necessary. To make a…

密码学与安全 · 计算机科学 2018-12-07 Suin Kang , Hye Min Kim , Huy Kang Kim

Through international regulations (most prominently the latest UNECE regulation) and standards, the already widely perceived higher need for cybersecurity in automotive systems has been recognized and will mandate higher efforts for…

密码学与安全 · 计算机科学 2021-09-07 Stefan Marksteiner , Peter Priller

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…

密码学与安全 · 计算机科学 2025-04-01 Nathan Daniel Schiele , Olga Gadyatskaya
‹ 上一页 1 2 3 10 下一页 ›