中文
相关论文

相关论文: Feature-Driven Survey of Physical Protection Syste…

200 篇论文

A key challenge in complex design problems that permeate science and engineering is the need to balance design objectives for specific design elements or subsystems with global system objectives. Global objectives give rise to competing…

物理与社会 · 物理学 2018-12-11 Andrei A. Klishin , Colin P. F. Shields , David J. Singer , Greg van Anders

Current trends in technology, such as cloud computing, allow outsourcing the storage, backup, and archiving of data. This provides efficiency and flexibility, but also poses new risks for data security. It in particular became crucial to…

密码学与安全 · 计算机科学 2017-08-08 Christian Weinert , Denise Demirel , Martín Vigil , Matthias Geihs , Johannes Buchmann

Distributed Port-Hamiltonian (dPHS) theory provides a powerful framework for modeling physical systems governed by partial differential equations and has enabled a broad class of boundary control methodologies. Their effectiveness, however,…

系统与控制 · 电气工程与系统科学 2026-04-07 Thomas Beckers , Leonardo Colombo

The reach and scale of Cyber Physical Systems (CPS) are expanding to many aspects of our everyday lives. Health, safety, transportation and education are a few areas where CPS are increasingly prevalent. There is a pressing need to secure…

网络与互联网体系结构 · 计算机科学 2018-06-29 Filipo Sharevski , Sharief Oteafy

Probabilistic model checking is an approach to the formal modelling and analysis of stochastic systems. Over the past twenty five years, the number of different formalisms and techniques developed in this field has grown considerably, as…

计算机科学中的逻辑 · 计算机科学 2025-09-17 Marta Kwiatkowska , Gethin Norman , David Parker

Social engineering attacks are a major cyber threat because they often serve as a first step for an attacker to break into an otherwise well-defended network, steal victims' credentials, and cause financial losses. The problem has received…

密码学与安全 · 计算机科学 2022-08-02 Theodore Longtchi , Rosana Montañez Rodriguez , Laith Al-Shawaf , Adham Atyabi , Shouhuai Xu

Security patterns are a means to encapsulate and communicate proven security solutions. They are well-established approaches for introducing security into the software development process. Our objective is to explore the research efforts on…

软件工程 · 计算机科学 2018-12-03 Abbas Javan Jafari , Abbas Rasoolzadegan

In the coming years, 6G will revolutionize the world with a large amount of bandwidth, high data rates, and extensive coverage in remote and rural areas. These goals can only be achieved by integrating terrestrial networks with…

信号处理 · 电气工程与系统科学 2023-02-16 R. Singh , I. Ahmad , J. Huusko

Datasets are essential to apply AI algorithms to Cyber Physical System (CPS) Security. Due to scarcity of real CPS datasets, researchers elected to generate their own datasets using either real or virtualized testbeds. However, unlike other…

密码学与安全 · 计算机科学 2022-08-18 Ashraf Tantawy

This work introduces Physics-informed State-space neural network Models (PSMs), a novel solution to achieving real-time optimization, flexibility, and fault tolerance in autonomous systems, particularly in transport-dominated systems such…

机器学习 · 计算机科学 2024-08-21 Akshay J. Dave , Richard B. Vilim

Cyber-physical systems (CPS) incorporate the complex and large-scale engineered systems behind critical infrastructure operations, such as water distribution networks, energy delivery systems, healthcare services, manufacturing systems, and…

密码学与安全 · 计算机科学 2021-09-29 Charalambos Konstantinou , George Stergiopoulos , Masood Parvania , Paulo Esteves-Verissimo

Context: As Industrial Cyber-Physical Systems (ICPS) become more connected and widely-distributed, often operating in safety-critical environments, we require innovative approaches to detect and diagnose the faults that occur in them.…

软件工程 · 计算机科学 2021-01-15 Barry Dowdeswell , Roopak Sinha , Stephen G. MacDonell

In this extended abstract, we propose Structured Production Systems (SPS), which extend traditional production systems with well-formed syntactic structures. Due to the richness of structures, structured production systems significantly…

人工智能 · 计算机科学 2017-04-27 Yi Zhou

This review paper focuses on different aspects of perceived safety for a number of autonomous physical systems. This is a major aspect of robotics research, as more and more applications allow human and autonomous systems to share their…

机器人学 · 计算机科学 2021-06-01 Matteo Rubagotti , Inara Tusseyeva , Sara Baltabayeva , Danna Summers , Anara Sandygulova

With an increasing degree of automation, automated vehicle systems become more complex in terms of functional components as well as interconnected hardware and software components. Thus, holistic systems engineering becomes a severe…

系统与控制 · 计算机科学 2018-04-25 Gerrit Bagschik , Marcus Nolte , Susanne Ernst , Markus Maurer

Hardening data protection using multiple methods rather than 'just' encryption is of paramount importance when considering continuous and powerful attacks in order to observe, steal, alter, or even destroy private and confidential…

密码学与安全 · 计算机科学 2017-02-14 Gerard Memmi , Katarzyna Kapusta , Patrick Lambein , Han Qiu

In modern industrial settings, advanced acquisition systems allow for the collection of data in the form of profiles, that is, as functional relationships linking responses to explanatory variables. In this context, statistical process…

统计方法学 · 统计学 2025-10-30 Fabio Centofanti

The emergence of intelligent, connected vehicles, containing complex functionality has potential to greatly benefit society by improving safety, security and efficiency of vehicular transportation. Much of this has been enabled by…

密码学与安全 · 计算机科学 2020-04-23 Fahad Siddiqui , Matthew Hagan , Sakir Sezer

Advanced Persistent Threats (APTs) pose a significant security risk to organizations and industries. These attacks often lead to severe data breaches and compromise the system for a long time. Mitigating these sophisticated attacks is…

密码学与安全 · 计算机科学 2025-08-04 Ehsan Hallaji , Roozbeh Razavi-Far , Mehrdad Saif

Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-critical applications, but require rigorous testing before deployment. The complexity of these systems often precludes the use of formal verification and…

机器学习 · 计算机科学 2021-10-15 Anthony Corso , Robert J. Moss , Mark Koren , Ritchie Lee , Mykel J. Kochenderfer