Sequence Composition Analysis of Noninterference in Cyber-Physical System with Petri Net

Abstract

Now a considerable challenge to model cyber-physical systems (CPSs) is to represent the cyber and physical level’s interactions. Owing to physical behavior and components appended to cyber systems, researchers meet with the difficulty in the analysis and verification of noninterference information security model in CPSs. A method is proposed with Petri net for solving this problem effectively by composing the complex systems with small systems while achieving the noninterference information flow security property. This paper analyzes the noninterference security property and the sequence composition in cyber-physical systems using the method. This study provides a formal method and foundation for exploring information flow security property and its composition in cyberphysical systems.