Safe and Secure Cyber–Physical Systems
Volume 106, Issue 1 | January 2018
Guest Editors:
Special Issue Papers
Scanning the Issue: Safe and Secure Cyber–Physical Systems
By M. Wolf and D. Serpanos
Safety and Security in Cyber-Physical Systems and Internet-of-Things Systems
By M. Wolf and D. Serpanos
This paper identifies key issues in the safety and security of CPSs and Internet-of-Things (IoT) systems as well as design-time and runtime approaches to handle safety and security.
System-on-Chip Platform Security Assurance: Architecture and Validation
By S. Ray, E. Peeters, M. M. Tehranipoor, and S. Bhunia
This paper surveys the security of VLSI systems-on-chip, identifies potential concerns, and proposes new approaches.
Wireless Communication and Security Issues for Cyber–Physical Systems and the Internet-of-Things
By A. Burg, A. Chattopadhyay, and K.-Y. Lam
This paper looks at wireless communication used for CPS and IoT; the authors identify gaps between the vulnerabilities posed by cyber–physical and IoT applications and the security measures provided by wireless standards.
HoneyBot: A Honeypot for Robotic Systems
By C. Irvene, D. Formby, S. Litchfield, and R. Beyah
This paper describes a novel honeypot for robotic systems. Honeypots are internet computers that are set up as lures for attackers.
Parameter-Invariant Monitor Design for Cyber–Physical Systems
By J. Weimer, R. Ivanov, S. Chen, A. Roederer, O. Sokolsky, and I. Lee
This paper describes techniques for online monitoring of CPSs that are robust in the face of sparse data and system variability.
SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber–Physical Systems
By X. Koutsoukos, G. Karsai, A. Laszka, H. Neema, B. Potteiger, P. Volgyesi, Y. Vorobeychik, and J. Sztipanovits
This paper describes a modeling and simulation environment that can be used to evaluate attacker–defender behavior.
A Framework for Attack-Resilient Industrial Control Systems: Attack Detection and Controller Reconfiguration
By K. Paridari, N. O’Mahony, A. El-Din Mady, R. Chabukswar, M. Boubekeur, and H. Sandberg
This paper describes an industrial control systems policy that uses estimations to provide resiliency against attacks.
ARMET: Behavior-Based Secure and Resilient Industrial Control Systems
By M. T. Khan, D. Serpanos, and H. Shrobe
This paper describes a reliable/secure-by-design methodology for industrial control systems and complementary online monitoring approach.
Improving the Safety and Security of Wide-Area Cyber–Physical Systems Through a Resource-Aware, Service-Oriented Development Methodology
By M. U. Tariq, J. Florence, and M. Wolf
This paper describes a service-oriented architecture for CPSs that preserves the quality-of- service (QoS) requirements of real-time control.
Privacy and Integrity Considerations in Hyperconnected Autonomous Vehicles
By S. Karnouskos and F. Kerschbaum
This paper examines the privacy and data integrity issues in the operation of fleets of cooperating, autonomous vehicles.
Semantics-Preserving Cosynthesis of Cyber-Physical Systems
By D. Roy, L. Zhang, W. Chang, S. K. Mitter, and S. Chakraborty
While control theory provides methods for designing provably correct controllers, there is a lack of available techniques to ensure that high-level controller models are transformed into implementations while preserving model-level semantics and safety properties. This paper reviews recent efforts to address this issue using cyber–physical system (CPS)-oriented controller/platform cosynthesis techniques.
Point of View
Forced Decryption and the Fifth Amendment: A Technical Perspective
By Stephen B. Wicker
