Security Analysis Of Intrusition Tolerance System Based On Petri Nets

This dissertation focuses on the problems how to analyze the security of intrusion tolerance systems, especially researched the theory and the model of intrusion tolerance, put forward an improved model of intrusion tolerance system; We analyzed the method of the security analysis of intrusion tolerance system and its disadvantages, put forward using extended state transition diagram and Petri net to analyze intrusion tolerance systems.In the dissertation, we summarized the theory of intrusion systems at first, due to this theory, we put forward improved model of intrusion tolerance systems, which describes the states of systems in detail based on current model. In the new model, we mainly added the state of machine learning, and the state of attract is divided into flow attack and vulnerability attack.Then, we discussed the current method of security analysis of intrusion tolerance systems, which is state transition diagram. But state transition diagram can only describe the action of whole system, the result is very particular, so we put forward a new method, named extended state transition diagram, that can describe systems in detail, and then we compared these two results.The disadvantage of extended state transition diagram is very complex, so we used Petri net to analyze systems. Petri net has many virtues. It can easily describe the actions of systems. We used simulation tool, named SPNP, to analyze Petri net.At last, we analyzed the problems of the security analysis of intrusion tolerance system, which should be researched in the future. diagram...