期刊名称：International Journal of Security and Its Applications
印刷版ISSN：1738-9976
出版年度：2015
卷号：9
期号：2
页码：159-168
DOI：10.14257/ijsia.2015.9.2.15
出版社：SERSC
摘要：Based on computation and network technology, Cyber-Physical Systems (CPS) has achieved rapid growth but it is faced with increasingly serious security problems and needs targeted security protection technologies. Considering the characteristics of the typical architecture of CPS, this paper integrates the analytical method of information flow based on the noninterference theory and proposes the security protection design of CPS through formal methods and provides a kind of safety system based on this design framework.
关键词：Cyber-Physical Systems (CPS); Security Protection; Security Model; ; Noninterference
