文献类型：期刊文献

英文题名：Sequence Composition Analysis of Noninterference in Cyber-Physical System with Petri Net

作者：Wang, Jingming[1,2];Yu, Huiqun[1];Leng, Chunxia[1]

机构：[1]East China Univ Sci & Technol, Dept Comp Sci & Engn, 130 Meilong Rd, Shanghai 200237, Peoples R China;[2]Chuzhou Univ, Sch Comp & Informat Engn, Anhui 239012, Peoples R China

年份：2014

卷号：8

期号：3

起止页码：185

外文期刊名：INTERNATIONAL JOURNAL OF SECURITY AND ITS APPLICATIONS

收录：EI(收录号：20142417810498);WOS:【ESCI(收录号:WOS:000219171400020)】；

基金：The work is supported in part by the NSF of China under grants No. 61173048, and NSF of Anhui province, China under Grant No. KJ2011ZD06, and NSF of Chuzhou University, Anhui province, China under grant No. 2013RC004 and 2012qd08.

语种：英文

外文关键词：Cyber-Physical Systems; Information Flow Security; Petri Net; Noninterference Model

摘要：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 cyber-physical systems.