Towards a Framework for Assuring Cyber Physical System Security

Lu, Tianbo; Zhao, Jinyang; Zhao, Lingling; Yang, Li; Zhang, Xiaoyan

doi:10.14257/ijsia.2015.9.3.04

Cited by 34 publications

(17 citation statements)

References 87 publications

(80 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In addition, it is important to consider the evaluation of other aspects of the CPS, such as safety and, particularly, security; different aspects still in the focus of research in the past few years. Therefore, the design of the simulation framework for CPS should consider these aspects at three levels: security objectives, security approaches and security in specific applications [85]. However, the cyber part not only should be secured, but also the physical part should take into account possible threats.…”

Section: Cps-based Co-simulation Frameworkmentioning

confidence: 99%

Sensor Reliability in Cyber-Physical Systems Using Internet-of-Things Data: A Review and Case Study

et al. 2019

View full text Add to dashboard Cite

Nowadays, reliability of sensors is one of the most important challenges for widespread application of Internet-of-things data in key emerging fields such as the automotive and manufacturing sectors. This paper presents a brief review of the main research and innovation actions at the European level, as well as some on-going research related to sensor reliability in cyber-physical systems (CPS). The research reported in this paper is also focused on the design of a procedure for evaluating the reliability of Internet-of-Things sensors in a cyber-physical system. The results of a case study of sensor reliability assessment in an autonomous driving scenario for the automotive sector are also shown. A co-simulation framework is designed in order to enable real-time interaction between virtual and real sensors. The case study consists of an IoT LiDAR-based collaborative map in order to assess the CPS-based co-simulation framework. Specifically, the sensor chosen is the Ibeo Lux 4-layer LiDAR sensor with IoT added capabilities. The modeling library for predicting error with machine learning methods is implemented at a local level, and a self-learning-procedure for decision-making based on Q-learning runs at a global level. The study supporting the experimental evaluation of the co-simulation framework is presented using simulated and real data. The results demonstrate the effectiveness of the proposed method for increasing sensor reliability in cyber-physical systems using Internet-of-Things data.

show abstract

Section: Cps-based Co-simulation Frameworkmentioning

confidence: 99%

Sensor Reliability in Cyber-Physical Systems Using Internet-of-Things Data: A Review and Case Study

et al. 2019

View full text Add to dashboard Cite

show abstract

“…This argumentation can be also followed by consideration that cloud manufacturing systems, cyberphysical systems, and distributed manufacturing systems are facing barriers which prevent adoption by the market. Such barriers are security concerns, perceived complexity, missing use cases, and applicability in practice [18,54]. Managerial consequences to increase the diffusion rate of cloud manufacturing systems, cyberphysical systems, and distributed manufacturing systems should be to consider the six factors of the theory of diffusion in the designing phase of these concepts.…”

Section: Design Of Business Model Innovations Based On Collaborative mentioning

confidence: 99%

Collaborative Cloud Manufacturing: Design of Business Model Innovations Enabled by Cyberphysical Systems in Distributed Manufacturing Systems

Rauch

Seidenstricker

Dallasega

et al. 2016

Journal of Engineering

View full text Add to dashboard Cite

Collaborative cloud manufacturing, as a concept of distributed manufacturing, allows different opportunities for changing the logic of generating and capturing value. Cyberphysical systems and the technologies behind them are the enablers for new business models which have the potential to be disruptive. This paper introduces the topics of distributed manufacturing as well as cyberphysical systems. Furthermore, the main business model clusters of distributed manufacturing systems are described, including collaborative cloud manufacturing. The paper aims to provide support for developing business model innovations based on collaborative cloud manufacturing. Therefore, three business model architecture types of a differentiated business logic are discussed, taking into consideration the parameters which have an influence and the design of the business model and its architecture. As a result, new business models can be developed systematically and new ideas can be generated to boost the concept of collaborative cloud manufacturing within all sustainable business models.

show abstract

“…In [8], common attacks for each layer of ICS have been summarized. In supervisory and management layer, traditional IT attacks and deception (manipulating the right information) and denial of services (DoS) attacks (jamming communication channels to disturb information availability [9]) are common. Attacks can also be instantiated at the physical layer by intentionally altering the setup or configuration of the components of the plant.…”

Section: Introductionmentioning

confidence: 99%

Intrusion Detection in PLC-Based Industrial Control Systems Using Formal Verification Approach in Conjunction with Graphs

Hailesellasie

Hasan

2017

J Hardw Syst Secur

View full text Add to dashboard Cite

Vulnerability in industrial control systems (ICS) has increased radically in the past few decades. This can be accounted to reasons including accessibility of ICS through Internet, development of sophisticated attack methods, and advancement in Internet of Things (IoT). The damage that can be caused by attackers on insecure ICS could cost hundreds of human lives and a huge state economy. Therefore, having such systems every where around us makes the concern for security nothing but a priority. Programmable logic controllers (PLCs) are the central devices of ICS and also a target to attacks which aim at gaining access and privilege to the control logic of the controller. A successful alteration or intrusion of the control logic by attackers can have a catastrophic effect on the plant. In this paper, control logic intrusion detection methodology for PLC-based control systems is proposed. The methodology implements the detection process by comparing a potentially intruded PLC program with a trusted version of the program. In order to achieve this goal, a scheme is proposed that operates in sequence of stages by first translating the PLC program to formal models (based on previous research work), then translating the formal models to graphs followed by performing a comparison between a trusted system model graph and a potentially intruded system graph. In the last stage of the methodology, graph discrepancy analysis is made in order to identify any intrusions. For demonstration purposes, a water level control system is presented as a case study, which is modeled using UPPAAL toolbox. We have verified our methodology by developing an in-house software. Our test results prove the concept that intrusions can be shown as discrepancies in the graphs generated from the UPPAAL-based formal modeling, which can be detected utilizing the proposed graph comparison approach. The premise of our study is that logic intrusions in PLC based ICS can be identified by the changes in the PLC code, and the methodology we proposed can successfully detect those changes by observing the code's graph model.

show abstract

Towards a Framework for Assuring Cyber Physical System Security

Abstract: Today, cyber physical systems (CPS)

Cited by 34 publications

References 87 publications

Sensor Reliability in Cyber-Physical Systems Using Internet-of-Things Data: A Review and Case Study

Sensor Reliability in Cyber-Physical Systems Using Internet-of-Things Data: A Review and Case Study

Collaborative Cloud Manufacturing: Design of Business Model Innovations Enabled by Cyberphysical Systems in Distributed Manufacturing Systems

Intrusion Detection in PLC-Based Industrial Control Systems Using Formal Verification Approach in Conjunction with Graphs

Contact Info

Product

Resources

About