Petri net based security quantitative analysis model for cyber-physical system
XU Xin1,2, YU Huiqun1, HUANG Junhu1
1.Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai 200237, China
2.Shanghai Key Laboratory of Computer Software Evaluating and Testing, Shanghai 201112, China
XU Xin1,2, YU Huiqun1, HUANG Junhu1. Petri net based security quantitative analysis model for cyber-physical system[J]. Computer Engineering and Applications, 2014, 50(3): 82-88.