中文
相关论文

相关论文: Towards Interdependent Safety Security Assessments…

200 篇论文

INTRODUCTION: The proliferation of the amalgamation of IoT and edge computing has increased the demand for decentralised trust and security mechanisms capable of operating across heterogeneous and resource-limited devices. Approaches such…

密码学与安全 · 计算机科学 2026-04-21 Khandoker Ashik Uz Zaman , Mahdi H. Miraz , Mohammed N. M. Ali

With rise in security breaches over the past few years, there has been an increasing need to mine insights from social media platforms to raise alerts of possible attacks in an attempt to defend conflict during competition. In this study,…

社会与信息网络 · 计算机科学 2020-06-23 Soumajyoti Sarkar , Mohammad Almukaynizi , Jana Shakarian , Paulo Shakarian

The advantages of IoT in strengthening commercial, industrial, and social ecosystems have led to its widespread expansion. Nevertheless, because endpoint devices have limited computation, storage, and communication capabilities, the IoT…

密码学与安全 · 计算机科学 2025-08-19 Masoud Hayeri Khyavi

Social media can be an important source of information facilitating the detection of new safety signals in pharmacovigilance. Various approaches have investigated the analysis of social media data using AI such as NLP techniques for…

计算与语言 · 计算机科学 2022-03-08 Valentin Roche , Jean-Philippe Robert , Hanan Salam

Control Barrier Functions (CBFs) have emerged as a powerful tool in the design of safety-critical controllers for nonlinear systems. In modern applications, complex systems often involve the feedback interconnection of subsystems evolving…

最优化与控制 · 数学 2026-04-03 Stefano Di Gregorio , Guido Carnevale , Giuseppe Notarstefano

Identifying drawbacks or insufficiencies in terms of safety is important also in early development stages of safety critical systems. In industry, development artefacts such as components or units, are often reused from existing artefacts…

软件工程 · 计算机科学 2021-06-03 Kai Hoefig , Marc Zeller , Reiner Heilmann

Fault trees are a key model in reliability analysis. Classical static fault trees (SFT) can best be analysed using binary decision diagrams (BDD). State-based techniques are favorable for the more expressive dynamic fault trees (DFT). This…

软件工程 · 计算机科学 2022-03-29 Daniel Basgöze , Matthias Volk , Joost-Pieter Katoen , Shahid Khan , Marielle Stoelinga

This paper studies the problem of enforcing safety of a stochastic dynamical system over a finite time horizon. We use stochastic barrier functions as a means to quantify the probability that a system exits a given safe region of the state…

系统与控制 · 计算机科学 2019-05-30 Cesar Santoyo , Maxence Dutreix , Samuel Coogan

We design and develop a secret-sharing-scheme-based cyberattack detection model(S3CDM)that can detect unauthorized or illegal activities (especially insider attacks) and protect sensitive information within complex network infrastructures…

密码学与安全 · 计算机科学 2026-04-14 Chi Sing Chum , Jia Lu , Claire Tang , Xiaowen Zhang

As artificial intelligence (AI) models are scaled up, new capabilities can emerge unintentionally and unpredictably, some of which might be dangerous. In response, dangerous capabilities evaluations have emerged as a new risk assessment…

计算机与社会 · 计算机科学 2023-10-03 Jide Alaga , Jonas Schuett

Intrusion Detection Systems (IDSs) are integral to safeguarding networks by detecting and responding to threats from malicious traffic or compromised devices. However, standalone IDS deployments often fall short when addressing the…

密码学与安全 · 计算机科学 2025-04-24 Tom Davies , Max Hashem Eiza , Nathan Shone , Rob Lyon

Cloud computing has been adopted widely, providing on-demand computing resources to improve perfornance and reduce the operational costs. However, these new functionalities also bring new ways to exploit the cloud computing environment. To…

密码学与安全 · 计算机科学 2019-03-12 Seoungmo An , Taehoon Eom , Jong Sou Park , Jin B. Hong , Armstrong Nhlabatsi , Noora Fetais , Khaled M. Khan , Dong Seong Kim

Social media platforms are now a key source of information for a large segment of the public. As such, these platforms have a great potential as a means to provide real-time information to emergency management agencies. Moreover, during an…

信息检索 · 计算机科学 2016-10-14 Richard McCreadie , Craig Macdonald , Iadh Ounis

Learning-based methodologies increasingly find applications in safety-critical domains like autonomous driving and medical robotics. Due to the rare nature of dangerous events, real-world testing is prohibitively expensive and unscalable.…

机器学习 · 计算机科学 2021-08-10 Aman Sinha , Matthew O'Kelly , Russ Tedrake , John Duchi

In reliability engineering, we need to understand system dependencies, cause-effect relations, identify critical components, and analyze how they trigger failures. Three prominent graph models commonly used for these purposes are fault…

其他计算机科学 · 计算机科学 2023-10-10 L. A. Jimenez-Roa , T. Heskes , M. Stoelinga

Cyber incidents can have a wide range of cause from a simple connection loss to an insistent attack. Once a potential cyber security incidents and system failures have been identified, deciding how to proceed is often complex. Especially,…

计算机与社会 · 计算机科学 2020-07-16 Sandro Passarelli , Cem Gündogan , Lars Stiemert , Matthias Schopp , Peter Hillmann

Safe autonomy is important in many application domains, especially for applications involving interactions with humans. Existing safe control algorithms are similar to one another in the sense that: they all provide control inputs to…

系统与控制 · 电气工程与系统科学 2019-10-30 Tianhao Wei , Changliu Liu

When a phone-use agent avoids harm, does that show safety, or simply inability to act? Existing evaluations often cannot tell. A harmful outcome may be avoided because the agent recognized the risk and chose the safe action, or because it…

The rapid expansion of the Internet of Things (IoT) and its integration with backbone networks have heightened the risk of security breaches. Traditional centralized approaches to anomaly detection, which require transferring large volumes…

机器学习 · 计算机科学 2026-03-24 Devashish Chaudhary , Sutharshan Rajasegarar , Shiva Raj Pokhrel , Lei Pan , Ruby D

The aim of this paper is to provide qualitative models characterizing interdependencies related failures of two critical infrastructures: the electricity infrastructure and the associated information infrastructure. The interdependencies of…

分布式、并行与集群计算 · 计算机科学 2010-01-10 Jean-Claude Laprie , Karama Kanoun , Mohamed Kaaniche