Skip to Main Content
The validity of the network security policy has important impacts on the safety performance of network information system. For purpose of verifying the network security policy repository effectively, a verification model of security policy repository based on EHLPN is proposed. The HLPN is expanded, and based on the establishing of EHLPN model directed graph, the relationship of place and transition about the policy knowledge expression is analyzed, and the verification algorithm of security policy repository is established. Result shows that the model can effectively find the structural errors and provide a new solution and reference for verifying and adjusting the security policy repository, so as to better ensure network system security.