中文
相关论文

相关论文: Towards Interdependent Safety Security Assessments…

200 篇论文

This paper proposes a novel methodology for probabilistic dynamic security assessment and enhancement of power systems that considers load and generation variability, N-2 contingencies, and uncertain cascade propagation caused by uncertain…

系统与控制 · 电气工程与系统科学 2025-05-05 Frédéric Sabot , Pierre-Etienne Labeau , Pierre Henneaux

As frontier AI systems advance toward transformative capabilities, we need a parallel transformation in how we measure and evaluate these systems to ensure safety and inform governance. While benchmarks have been the primary method for…

人工智能 · 计算机科学 2025-05-12 Markov Grey , Charbel-Raphaël Segerie

While attack graphs are useful for identifying major cybersecurity threats affecting a system, they do not provide operational support for determining the likelihood of having a known vulnerability exploited, or that critical system nodes…

密码学与安全 · 计算机科学 2026-04-21 Francesco Vitale , Simone Guarino , Stefano Perone , Massimiliano Rak , Nicola Mazzocca

We present an overview of recently developed data-driven tools for safety analysis of autonomous vehicles and advanced driver assist systems. The core algorithms combine model-based, hybrid system reachability analysis with sensitivity…

系统与控制 · 计算机科学 2017-04-24 Chuchu Fan , Bolun Qi , Sayan Mitra

Security analysis is an essential activity in security engineering to identify potential system vulnerabilities and achieve security requirements in the early design phases. Due to the increasing complexity of modern systems, traditional…

密码学与安全 · 计算机科学 2021-02-10 Jinghua Yu , Stefan Wagner , Feng Luo

Recent advances in Deep Machine Learning have shown promise in solving complex perception and control loops via methods such as reinforcement and imitation learning. However, guaranteeing safety for such learned deep policies has been a…

机器人学 · 计算机科学 2020-03-03 Tom Hirshberg , Sai Vemprala , Ashish Kapoor

This paper presents novel technology and methodology aimed at enhancing crowd management in both the planning and operational phases. The approach encompasses innovative data collection techniques, data integration, and visualization using…

We describe a framework and tool specification that represents a step towards cybersecurity testing and monitoring of IoT ecosystems. We begin with challenges from a previous paper and discuss an integrated approach and tools to enable…

We propose a new framework to facilitate dynamic assurance within a safety case approach by associating safety performance measurement with the core assurance artifacts of a safety case. The focus is mainly on the safety architecture, whose…

软件工程 · 计算机科学 2025-07-30 Ewen Denney , Ganesh Pai

Safety alignment is an essential research topic for real-world AI applications. Despite the multifaceted nature of safety and trustworthiness in AI, current safety alignment methods often focus on a comprehensive notion of safety. By…

人工智能 · 计算机科学 2025-02-05 Thien Q. Tran , Akifumi Wachi , Rei Sato , Takumi Tanabe , Youhei Akimoto

Botnets have become a serious security threat not only to the Internet but also to the devices connected to it. Factors like the exponential growth of IoT, the COVID-19 pandemic that's sweeping the planet, and the ever-larger number of…

密码学与安全 · 计算机科学 2022-01-17 Zubair Khaliq , Dawood Ashraf Khan , Asif Iqbal Baba , Shahbaz Ali , Sheikh Umar Farooq

One of the data security and privacy concerns is of insider threats, where legitimate users of the system abuse the access privileges they hold. The insider threat to data security means that an insider steals or leaks sensitive personal…

密码学与安全 · 计算机科学 2020-11-05 Muhammad Imran Khan , Simon N. Foley , Barry O'Sullivan

Information security awareness (ISA) is a practice focused on the set of skills, which help a user successfully mitigate a social engineering attack. Previous studies have presented various methods for evaluating the ISA of both PC and…

密码学与安全 · 计算机科学 2019-06-26 Ron Bitton , Kobi Boymgold , Rami Puzis , Asaf Shabtai

Adequate risk assessment of safety critical systems needs to take both safety and security into account, as well as their interaction. A prominent methodology for modeling safety and security are attack-fault trees (AFTs), which combine the…

密码学与安全 · 计算机科学 2024-08-14 Milan Lopuhaä-Zwakenberg

Although Fault Tree and Event Tree analysis are still today the standard approach to system safety analysis for many engineering sectors, these techniques lack the capabilities of fully capturing the realistic, dynamic behaviour of complex…

计算工程、金融与科学 · 计算机科学 2025-10-21 Silvia Tolo , John Andrews

Safety and security are critical to the reliable operation of connected and automated vehicles (CAVs). While existing research has identified correlations between the two domains, a theoretical framework to analyze their interaction…

密码学与安全 · 计算机科学 2025-12-18 Xingyu Li , Qi Liu , Yufeng Li

This paper introduces an AI-enabled, interaction-aware active safety analysis framework that accounts for groupwise vehicle interactions. Specifically, the framework employs a bicycle model-augmented with road gradient considerations-to…

机器人学 · 计算机科学 2025-05-02 Keshu Wu , Zihao Li , Sixu Li , Xinyue Ye , Dominique Lord , Yang Zhou

Systems engineering approaches use high-level models to capture the architecture and behavior of the system. However, when safety engineers conduct safety and reliability analysis, they have to create formal models, such as fault-trees,…

软件工程 · 计算机科学 2020-04-29 Simon József Nagy , Bence Graics , Kristóf Marussy , András Vörös

Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, failure modes and environment). The advantage of these methods compared to traditional…

计算机科学中的逻辑 · 计算机科学 2010-06-29 Matthias Güdemann , Frank Ortmeier

Telecommunications networks rely on configurations to define routing behavior, especially in the Border Gateway Protocol (BGP), where misconfigurations can lead to severe outages and security breaches, as demonstrated by the 2021 Facebook…

软件工程 · 计算机科学 2025-12-08 Chenlu Zhang , Amirmohammad Pasdar , Van-Thuan Pham