Abstract:

According to the deficiency that space exploration may occur when the security protocols of colored Petri nets are analyzed, the paper proposes to construct the knowledge RI that is required by intruders to successfully attack the security protocols and the knowledge KI that can be obtained by intruders. And the improved colored Petri net of successful attack functions. The improved colored Petri net is used to analyze Helsinki protocol and TMN protocol. Experiments show that the proposal can simplify the procedure of constructing the Petri net with intruders, and efficiently solve the space exploration problem.

Key words: colored Petri nets；security protocols；attacking successful function