Automatic Generation of Security Requirements for Cyber-Physical Systems

2021 ◽  
pp. 372-385
Author(s):  
Jinghua Yu ◽  
Stefan Wagner ◽  
Feng Luo
Keyword(s):  
Automatic Generation ◽  
Cyber Physical Systems ◽  
Security Requirements ◽  
Physical Systems

scholarly journals The Study on the Cyber Security Requirements of Cyber-Physical Systems for Cyber Security Frameworks

2012 ◽  
Vol 7 (5) ◽  
pp. 255-265
Author(s):  
Soo-Youl Park ◽  
Wook-Jin Choi ◽  
Bo-Heung Chung ◽  
Jeong-Nyeo Kim ◽  
Joo-Man Kim
Keyword(s):  
Cyber Security ◽  
Cyber Physical Systems ◽  
Security Requirements ◽  
Physical Systems

scholarly journals Bloom Filter-Based Secure Data Forwarding in Large-Scale Cyber-Physical Systems

2015 ◽  
Vol 2015 ◽  
pp. 1-12
Author(s):  
Siyu Lin ◽  
Hao Wu
Keyword(s):  
False Positive ◽  
Large Scale ◽  
False Positive Rate ◽  
Bloom Filter ◽  
Cyber Physical Systems ◽  
Security Requirements ◽  
Data Forwarding ◽  
Physical Systems ◽  
Secure Data ◽  
Positive Rate

Cyber-physical systems (CPSs) connect with the physical world via communication networks, which significantly increases security risks of CPSs. To secure the sensitive data, secure forwarding is an essential component of CPSs. However, CPSs require high dimensional multiattribute and multilevel security requirements due to the significantly increased system scale and diversity, and hence impose high demand on the secure forwarding information query and storage. To tackle these challenges, we propose a practical secure data forwarding scheme for CPSs. Considering the limited storage capability and computational power of entities, we adopt bloom filter to store the secure forwarding information for each entity, which can achieve well balance between the storage consumption and query delay. Furthermore, a novel link-based bloom filter construction method is designed to reduce false positive rate during bloom filter construction. Finally, the effects of false positive rate on the performance of bloom filter-based secure forwarding with different routing policies are discussed.

Simulating Timing Behaviors for Cyber-Physical Systems Using Modelica

2019 ◽  
Vol 11 (3) ◽  
pp. 44-67
Author(s):  
Hao Zhou ◽  
Mengyao Zhao ◽  
Linbo Wu ◽  
Xiaohong Chen
Keyword(s):  
Time Dependence ◽  
Automatic Generation ◽  
Physical World ◽  
Cyber Physical Systems ◽  
Timing Constraints ◽  
Sequence Diagrams ◽  
Sensors And Actuators ◽  
Physical Systems ◽  
Parachute System ◽  
Simulation Parameter

Cyber-physical systems (CPSs) connect the cyber world with the physical world through a network of interrelated elements, such as sensors and actuators, robots, and other computing devices. Timing constraints on the interactions (timing behaviors) should be modelled and verified as cyber-physical systems are becoming more and more complex. This article proposes modeling the typical timing behaviors according to their time characteristics, periodicity, multiform time, and synchronization, and verifies them against properties using simulations. Sequence diagrams are presented for the modeling, and modelica is used for simulation. In the simulation, the time dependence relations are defined, and used for simulation parameter data automatic generation, in addition to the paths from the sequence diagrams. Finally, a Parachute System is used as an example to show the feasibility and effectiveness of the approach.

scholarly journals Risk Management and Standard Compliance for Cyber-Physical Systems of Systems

2021 ◽  
Vol 13 (2) ◽  
pp. 32-39
Author(s):  
George Matta ◽  
Sebastian Chlup ◽  
Abdelkader Magdy Shaaban ◽  
Christoph Schmittner ◽  
Andreas Pinzenöhler ◽  
...  
Keyword(s):  
Risk Management ◽  
Cyber Security ◽  
Security Analysis ◽  
Cyber Physical Systems ◽  
Risk Identification ◽  
Security Requirements ◽  
Systems Of Systems ◽  
Physical Systems ◽  
Railway Systems ◽  
Industry Standards

The Internet of Things (IoT) and cloud technologies are increasingly implemented in the form of Cyber-Physical Systems of Systems (CPSoS) for the railway sector. In order to satisfy the security requirements of Cyber-Physical Systems (CPS), domainspecific risk identification assessment procedures have been developed. Threat modelling is one of the most commonly used methods for threat identification for the security analysis of CPSoS and is capable of targeting various domains. This paper reports our experience of using a risk management framework identify the most critical security vulnerabilities in CPSoS in the domain and shows the broader impact this work can have on the domain of safety and security management. Moreover, we emphasize the application of common analytical methods for cyber-security based on international industry standards to identify the most vulnerable assets. These will be applied to a meta-model for automated railway systems in the concept phase to support the development and deployment of these systems. Furthermore, it is the first step to create a secure and standard complaint system by design.

Privacy Preservation in Cloud Based Cyber Physical Systems

2019 ◽  
Vol 16 (10) ◽  
pp. 4320-4327 ◽  
Author(s):  
Anees Ara
Keyword(s):  
Cloud Computing ◽  
Privacy Preservation ◽  
Cyber Physical Systems ◽  
Security Requirements ◽  
Security And Privacy ◽  
Privacy Concerns ◽  
Physical Systems ◽  
Tightly Coupled ◽  
Time Critical ◽  
Computational Systems

The Cyber physical systems (CPS) are integration of tightly coupled resource constrained physical and computational systems,which have several real time critical care applications. These systems depend on sensors to sense the physical environment. To overcome the limitations of computational power, CPS are supported by cloud computing systems as their backend. The enablement of cloud support to cyber physical cloud computing systemshave seamless advantages of improved efficiency, in same way this leads to major security and privacy concerns. These systems have decentralized and heterogeneous infrastructure and to fulfill all the security requirements, it is certainly a very complex task. In this paper we propose a generalized system model for securing different types of cloud based cyber physical systems, adversary model and holistic literature review of various CPS services, attacks, security challenges and the security schemes that can be applied to overcome a given attacks. At the end of the paper we discuss a case study on securing Medical CPS and compare the applicability of security schemes in this scenario.

Sign in / Sign up

Export Citation Format

Share Document