Alternative composition analysis of noninterference in cyber-physical system

Article type: Research Article

Authors: Wang, Jingming

Affiliations: School of Computer and Information Engineering, Chuzhou University, Anhui 239012, China. Tel.: +86 0550 3512336; Fax: +86 0550 3512336; E-mail: wjmtime@chzu.edu.cn

Abstract: At present, a rather big challenge to model cyber-physical systems is to stand for the interactions between physical level and cyber level. Researchers are faced with the trouble in the analysis of information security property of noninterference in cyber-physical systems because of the physical components and behavior appended to cyber components and systems. A new method is put forward with Petri net for working out this problem effectively by composing the complicated and large systems with simple and small systems. Meanwhile, it accomplishes the noninterference information flow security property. In this paper, this method is used to analyze the information security property of noninterference and its alternative composition in cyber-physical systems. This research provides a new formal method to explore information security property of noninterference and a sufficiency and necessary condition of alternative composition of noninterference of information security model in cyber-physical systems.

Keywords: Cyber-physical systems, Petri net, information flow security, alternative composition

DOI: 10.3233/JCM-160642

Journal: Journal of Computational Methods in Sciences and Engineering, vol. 16, no. 3, pp. 591-597, 2016