English
Related papers

Related papers: A Model Based Framework for Testing Safety and Sec…

200 papers

This study explores the state-of-the-art, application, and maturity of socio-technical security models for industries and sectors dependent on CI and investigates the gap between academic research and industry practices concerning the…

Cryptography and Security · Computer Science 2023-05-10 Uchenna D Ani , Jeremy M Watson , Nilufer Tuptuk , Steve Hailes , Aslam Jawar

The growing connectivity of industrial devices as a result of the Internet of Things is increasing the risks to Industrial Control Systems. Since attacks on such devices can also cause damage to people and machines, they must be properly…

Cryptography and Security · Computer Science 2024-05-28 Simon Liebl , Leah Lathrop , Ulrich Raithel , Andreas Aßmuth , Ian Ferguson , Matthias Söllner

Embedded systems are ubiquitous and play critical roles in management systems for industry and transport. Software failures in these domains may lead to loss of production or even loss of life, so the software in these systems needs to be…

Software Engineering · Computer Science 2021-11-17 Per Erik Strandberg

Testing is a significant aspect of software development. As systems become complex and their use becomes critical to the security and the function of society, the need for testing methodologies that ensure reliability and detect faults as…

Software Engineering · Computer Science 2021-12-09 Yeshayahu Weiss

The aim of this paper is to propose a rigorous and complete design framework for complex system based on system engineering (SE) principles. The SE standard EIA-632 is used to guide the approach. Within this framework, two aspects are…

Software Engineering · Computer Science 2012-12-19 Romaric Guillerm , Hamid Demmou , Nabil Sadou

Industrial components are of high importance because they control critical infrastructures that form the lifeline of modern societies. However, the rapid evolution of industrial components, together with the new paradigm of Industry 4.0,…

Cryptography and Security · Computer Science 2022-03-16 Ángel Longueira-Romero , Rosa Iglesias , Jose Luis Flores , Iñaki Garitano

Industrial Control Systems (ICSs) are widely used in critical infrastructures that face various cyberattacks causing physical damage. With the increasing integration of the ICSs and information technology (IT), ensuring the security of ICSs…

Optimization and Control · Mathematics 2024-12-17 Navid Aftabi , Dan Li , Ph. D. , Thomas Sharkey , Ph. D

Biological systems are often modeled as a system of ordinary differential equations (ODEs) with time-invariant parameters. However, cell signaling events or pharmacological interventions may alter the cellular state and induce multi-mode…

Quantitative Methods · Quantitative Biology 2020-04-28 Bing Liu

The increasing digitization and interconnection of legacy Industrial Control Systems (ICSs) open new vulnerability surfaces, exposing such systems to malicious attackers. Furthermore, since ICSs are often employed in critical…

Cryptography and Security · Computer Science 2021-07-06 Mauro Conti , Denis Donadel , Federico Turrin

Safety is an important element of dependability. It is defined as the absence of accidents. Most accidents involving software-intensive systems have been system accidents, which are caused by unsafe inter-system or inter-component…

Software Engineering · Computer Science 2016-11-17 Zhe Chen , Gilles Motet

Context: The complexity of modern safety-critical systems in industries keep on increasing due to the rising number of features and functionalities. This calls for formal methods in order to entrust confidence in such systems. Nevertheless,…

Software Engineering · Computer Science 2021-08-17 Arut Prakash Kaleeswaran , Arne Nordmann , Thomas Vogel , Lars Grunske

We study operational security in computer network security, including infrastructure, internal processes, resources, information, and physical environment. Current works on developing a security framework focus on a security ontology that…

Software Engineering · Computer Science 2020-03-31 Sabah Al-Fedaghi , Hadeel Alnasser

The use of machine learning (ML) has become increasingly prevalent in various domains, highlighting the importance of understanding and ensuring its safety. One pressing concern is the vulnerability of ML applications to model stealing…

Machine Learning · Computer Science 2026-04-07 Ganghua Wang , Yuhong Yang , Jie Ding

The Internet of Things (IoT) involves complex, interconnected systems and devices that depend on context-sharing platforms for interoperability and information exchange. These platforms are, therefore, critical components of real-world IoT…

Cryptography and Security · Computer Science 2024-08-23 Mohammad Goudarzi , Arash Shaghaghi , Simon Finn , Burkhard Stiller , Sanjay Jha

Our goal is to enable holistic hardware security evaluation from the microarchitectural point of view. To achieve this, we propose a framework that categorizes threat models based on the microarchitectural components being targeted, and…

Hardware Architecture · Computer Science 2021-10-20 Tochukwu Idika , Ismail Akturk

Safety assurance of automated driving systems must consider uncertain environment perception. This paper reviews literature addressing how perception testing is realized as part of safety assurance. We focus on testing for verification and…

Robotics · Computer Science 2022-02-28 Michael Hoss , Maike Scholtes , Lutz Eckstein

Penetration testing refers to the process of simulating hacker attacks to evaluate the security of information systems . This study aims not only to clarify the theoretical foundations of penetration testing but also to explain and…

Cryptography and Security · Computer Science 2026-02-10 Wei Zhang , Ju Xing , Xiaoqi Li

Best practices of self-sovereign identity (SSI) are being intensively explored in academia and industry. Reusable solutions obtained from best practices are generalized as architectural patterns for systematic analysis and design reference,…

Cryptography and Security · Computer Science 2024-06-04 Yepeng Ding , Hiroyuki Sato

The Internet of Things (IoT) is a global ecosystem of information and communication technologies aimed at connecting any type of object (thing), at any time and in any place, to each other and to the Internet. One of the major problems…

Cryptography and Security · Computer Science 2016-10-20 Shachar Siboni , Vinay Sachidananda , Asaf Shabtai , Yuval Elovici

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