Research on Layered Network Security Architecture Modeling Based on Stochastic Petri Nets

The research on network security architecture is a indispensable part in network security research. Layered Network Security Architecture (LNSA) is proposed in this paper. Firstly, LNSA is described with the concept of component. Then Stochastic Petri net is used for formal modeling of LNSA. Subsequently, the Stochastic High Lever Petri Nets is used to predigest the formal modeling and its corresponding Markov chain is used to calculate the steady probability. Then the steady probability is used to evaluate the network security status, as time is used to describe Hacker´s intrusion ability and security system´s protection ability. Obviously, the result is of important guiding significance in the actual network security analysis and application.