Security Protection Technology of Cyber-Physical Systems

Hong Ye
2015 International Journal of Security and Its Applications  
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.
doi:10.14257/ijsia.2015.9.2.15 fatcat:4laprffadrd4bjiwlovsfh6f2a