A Method for Network Vulnerability Analysis Using Colored Petri Net

Traditional methods for evaluating network security neglect the correlation of network vulnerabilities. To solve this problem, a method based on Colored Petri Net (CPN) modeling is presented. Potential attack sequences are built according to the correlation of network vulnerabilities. The weakness and key paths can be found through analyzing the attack sequences. Simulation results show that the proposed method can help network managers to find the hidden danger actively and make security strategies effectively.