Modeling security in cyber–physical systems

Burmester, Mike; Magkos, Emmanouil; Chrissikopoulos, Vassilios

doi:10.1016/j.ijcip.2012.08.002

Cited by 81 publications

(43 citation statements)

References 47 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…After the solution is found, the privilege of creating a new block is guaranteed and a bitcoin is rewarded. 4 Transmit the verification results. The node that computes the solution firstly receives the bitcoin from the system and this piece of information is broadcast to all the nodes through the Internet.…”

Section: The Working Principle Of a Blockchainmentioning

confidence: 99%

“…We should use advances in technology to address this issue. An analysis of the security issues at the various layers of the CPS architecture, risk assessment, and techniques were discussed for securing CPS in [4]. A framework for modelling the security of a cyber-physical system has been described [5], where the behaviour of the adversary is controlled by a threat model that captures the cyber aspects and the physical aspects of the cyber-physical system in a unified manner.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

M2M Security Technology of CPS Based on Blockchains

et al. 2017

View full text Add to dashboard Cite

Abstract:As the core of intelligent manufacturing, cyber-physical systems (CPS) have serious security issues, especially for the communication security of their terminal machine-to-machine (M2M) communications. In this paper, blockchain technology is introduced to address such a security problem of communications between different types of machines in the CPS. According to the principles of blockchain technology, we designed a blockchain for secure M2M communications. As a communication system, M2M consists of public network areas, device areas, and private areas, and we designed a sophisticated blockchain structure between the public area and private area. For validating our design, we took cotton spinning production as a case study to demonstrate our solution to M2M communication problems under the CPS framework. We have demonstrated that the blockchain technology can effectively solve the safety of expansion of machines in the production process and the communication data between the machines cannot be tampered with.

show abstract

Section: The Working Principle Of a Blockchainmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

M2M Security Technology of CPS Based on Blockchains

et al. 2017

View full text Add to dashboard Cite

show abstract

“…Automated detection of confidentiality breaches is performed by using the CoPS model checker [38]. A threat model for CPS [39] has been proposed to incorporate typical characteristics of physical systems, such as survivability to abnormal behavior and the possibility to recover after critically vulnerable states are reached. A CPS is modeled as a finite, hybrid timed automaton with faults.…”

Section: Secure Cyber-physical Systemsmentioning

confidence: 99%

On the Interplay Between Cyber and Physical Spaces for Adaptive Security

Tsigkanos

Pasquale

Ghezzi

et al. 2018

IEEE Trans. Dependable and Secure Comput.

View full text Add to dashboard Cite

Abstract-Ubiquitous computing is resulting in a proliferation of cyber-physical systems that host or manage valuable physical and digital assets. These assets can be harmed by malicious agents through both cyber-enabled or physically-enabled attacks, particularly ones that exploit the often ignored interplay between the cyber and physical world. The explicit representation of spatial topology is key to supporting adaptive security policies. In this paper we explore the use of Bigraphical Reactive Systems to model the topology of cyber and physical spaces and their dynamics. We utilise such models to perform speculative threat analysis through model checking to reason about the consequences of the evolution of topological configurations on the satisfaction of security requirements. We further propose an automatic planning technique to identify an adaptation strategy enacting security policies at runtime to prevent, circumvent, or mitigate possible security requirements violations. We evaluate our approach using a case study concerned with countering insider threats in a building automation system.

show abstract

“…Our security framework for a critical infrastructure C consists of: 1) A real-time model that captures its functionality including a faults distribution F on components [13]. 2) A set S of specifications, policies and security requirements that identifies the vulnerabilities V that need to be protected.…”

Section: A Threat Model and Security Frameworkmentioning

confidence: 99%

A trusted computing architecture for critical infrastructure protection

Burmester

2013

Iisa 2013

Self Cite

View full text Add to dashboard Cite

Abstract-Most critical infrastructures can be modeled as cyber-physical systems whose cyber components control underlying physical processes so as to optimize system objectives based on physical properties/constraints and the current and estimated state of the system. Such systems usually require performance guarantees and support for security: wrongly received or missed commands can render the entire system unstable. Yet, securing cyber-physical systems with heterogeneous components is still an open and challenging problem.In this paper we propose a trusted computing architecture for critical infrastructure protection based on the trusted computing paradigm. We discuss the threat model, the vulnerabilities, real-time availability, run-time integrity and show how to get resilience against intentional and unintentional faults by using trusted computing enabled components and an access control structure that enforces need-to-get-now (availability) policies. We conclude by showing how this approach can be used to secure substation automation systems of an IEC/TR 61850-90-5-compliant electricity grid.

show abstract

Modeling security in cyber–physical systems

Cited by 81 publications

References 47 publications

M2M Security Technology of CPS Based on Blockchains

M2M Security Technology of CPS Based on Blockchains

On the Interplay Between Cyber and Physical Spaces for Adaptive Security

A trusted computing architecture for critical infrastructure protection

Contact Info

Product

Resources

About