文件名称：Security Protection Technology of Cyber-Physical Systems
文件大小：359KB
文件格式：PDF
更新时间：2018-07-13 04:33:18
cps
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.