中文
相关论文

相关论文: Checking is Believing: Event-Aware Program Anomaly…

200 篇论文

Cyber-Physical Production Systems (CPPS) are long-living and mechatronic systems, which include mechanics, electrics/electronics and software. The interdisciplinary nature combined with challenges and trends in the context of Industry 4.0…

软件工程 · 计算机科学 2022-12-20 Birgit Vogel-Heuser , Juliane Fischer , Dieter Hess , Eva-Maria Neumann , Marcus Wuerr

Cyber Physical Systems (CPS) are the conjoining of an entities' physical and computational elements. The development of a typical CPS system follows a sequence from conceptual modeling, testing in simulated (virtual) worlds, testing in…

计算机与社会 · 计算机科学 2014-08-05 Vijay Gadepally , Ashok Krishnamurthy , Umit Ozguner

Cyber-physical systems (CPS), which integrate algorithmic control with physical processes, often consist of physically distributed components communicating over a network. A malfunctioning or compromised component in such a CPS can lead to…

软件工程 · 计算机科学 2016-11-08 Yuqi Chen , Christopher M. Poskitt , Jun Sun

Fault attacks enable adversaries to manipulate the control-flow of security-critical applications. By inducing targeted faults into the CPU, the software's call graph can be escaped and the control-flow can be redirected to arbitrary…

Verifying integrity of software execution in low-end micro-controller units (MCUs) is a well-known open problem. The central challenge is how to securely detect software exploits with minimal overhead, since these MCUs are designed for low…

密码学与安全 · 计算机科学 2021-03-25 Ivan De Oliveira Nunes , Sashidhar Jakkamsetti , Gene Tsudik

Access control is an issue of paramount importance in cyber-physical systems (CPS). In this paper, an access control scheme, namely FEAC, is presented for CPS. FEAC can not only provide the ability to control access to data in normal…

网络与互联网体系结构 · 计算机科学 2012-01-04 Guowei Wu , Dongze Lu , Feng Xia , Lin Yao

This paper studies an attacker against a cyber-physical system (CPS) whose goal is to move the state of a CPS to a target state while ensuring that his or her probability of being detected does not exceed a given bound. The attacker's…

最优化与控制 · 数学 2017-03-31 Yuan Chen , Soummya Kar , José M. F. Moura

A Cyber Physical System (CPS) consists of cyber components for computation and communication, and physical components such as sensors and actuators for process control. These components are networked and interact in a feedback loop. CPS are…

密码学与安全 · 计算机科学 2024-09-23 Sridhar Adepu , Venkata Reddy Palleti , Gyanendra Mishra , Aditya Mathur

Cyber-physical systems (CPS) such as unmanned aerial vehicles are vulnerable to slow degradation that develops without causing immediate or obvious failures. Small sensor biases or timing irregularities can accumulate over time, gradually…

密码学与安全 · 计算机科学 2025-12-17 Daniyal Ganiuly , Nurzhau Bolatbek , Assel Smaiyl

Significant progress has been made in anomaly detection and run-time monitoring to improve the safety and security of cyber-physical systems (CPS). However, less attention has been paid to hazard mitigation. This paper proposes a combined…

密码学与安全 · 计算机科学 2025-07-01 Xugui Zhou , Maxfield Kouzel , Chloe Smith , Homa Alemzadeh

Resilience to sensor and actuator attacks is a major concern in the supervisory control of discrete events in cyber-physical systems (CPS). In this work, we propose a new framework to design supervisors for CPS under attacks using…

形式语言与自动机理论 · 计算机科学 2023-06-30 Yu Wang , Alper Kamil Bozkurt , Nathan Smith , Miroslav Pajic

Real-time cyber-physical systems depend on deterministic task execution to guarantee safety and correctness. Unfortunately, this determinism can unintentionally expose timing information that enables adversaries to infer task execution…

系统与控制 · 电气工程与系统科学 2026-02-04 Arkaprava Sain , Sunandan Adhikary , Soumyajit Dey

Cyber-physical systems, such as self-driving cars or autonomous aircraft, must defend against attacks that target sensor hardware. Analyzing system design can help engineers understand how a compromised sensor could impact the system's…

密码学与安全 · 计算机科学 2021-06-04 Jian Xiang , Nathan Fulton , Stephen Chong

Industrial cyber-physical systems (ICPSs) manage critical infrastructures by controlling the processes based on the "physics" data gathered by edge sensor networks. Recent innovations in ubiquitous computing and communication technologies…

密码学与安全 · 计算机科学 2021-01-12 Hakan Kayan , Matthew Nunes , Omer Rana , Pete Burnap , Charith Perera

In the era of Big Data and Internet-of-Things (IoT), all real-world environments are gradually becoming cyber-physical (e.g., emergency management, healthcare, smart manufacturing, etc.), with the presence of connected devices and embedded…

软件工程 · 计算机科学 2018-02-20 Andrea Marrella , Massimo Mecella

In this paper a novel approach to co-design controller and attack detector for nonlinear cyber-physical systems affected by false data injection (FDI) attack is proposed. We augment the model predictive controller with an additional…

系统与控制 · 电气工程与系统科学 2022-07-19 Mohammadreza Chamanbaz , Fabrizio Dabbene , Roland Bouffanais

In times of Industry 4.0 and cyber-physical systems (CPS) providing security is one of the biggest challenges. A cyber attack launched at a CPS poses a huge threat, since a security incident may affect both the cyber and the physical world.…

密码学与安全 · 计算机科学 2019-05-16 Igor Ivkic , Andreas Mauthe , Markus Tauber

Cyber-Physical Systems (CPS) allow us to manipulate objects in the physical world by providing a communication bridge between computation and actuation elements. In the current scheme of things, this sought-after control is marred by…

The security of cyber-physical systems is first and foremost a safety problem, yet it is typically handled as a traditional security problem, which means that solutions are based on defending against threats and are often implemented too…

密码学与安全 · 计算机科学 2017-11-03 Bryan Carter , Georgios Bakirtzis , Carl Elks , Cody Fleming

Industrial control systems (ICSs) are widely used and vital to industry and society. Their failure can have severe impact on both economics and human life. Hence, these systems have become an attractive target for attacks, both physical and…

密码学与安全 · 计算机科学 2019-10-02 Moshe Kravchik , Asaf Shabtai