期刊名称：International Journal of Security and Its Applications
印刷版ISSN：1738-9976
出版年度：2014
卷号：8
期号：3
页码：185-192
DOI：10.14257/ijsia.2014.8.3.20
出版社：SERSC
摘要：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.
关键词：Cyber-Physical Systems; Information Flow Security; Petri Net; ; Noninterference Model
