Research On Security Of Model Checking-based Cyber-physical Systems

Cyber Physical System is a comprehensive multi-dimensional complex system that consists of physical computing, network, and physical environment. It can be used in smart grids, traffic control, environmental control and so on. In the information processing of Cyber Physical System, the whole process requires a credible, reliable and controllable system. However, it faces great challenges because of its complex structure and the lack of systems integration. Therefore, to ensure the security of Cyber Physical System is very important. But the system’s existing authentication methods method is not comprehensive enough and the verification process is not standardized. Based on this, this paper presents a verification method for the verification of Cyber Physical System security to improve system security.This paper proposes a method for constructing the security model of the Cyber Physical System using model checking techniques. When building the model, the behavior and interaction of the physical system and the network system are measured by the information flow to form a unified definition of information flow. And then we model the system. Based on the model of Cyber Physical System, we designed a method for the verification of the system. Finally, based on the proposed security model, we analysis and research the security of smart grid. We use the model-checking tool UPPAAL to model the system and verify the security of the DNP3 protocol of smart grid.Examples of the research in this paper show that the proposed model and the verification method is feasible and effective. It can improve the authentication method and make the verification standardized. We verify the security of Cyber Physical System to ensure the security of the system.