Policy Monitoring and a Finite State Automata Model

Policy monitoring is one of the most indispensable parts in the security policy management, which can improve the reliability of the system and offer the references to the other audit after some security incidentspsila occurrences. In this paper, the policy states are divided into several types. Also the policy states transition model based on the Mealy automata is promoted, which provides the objects and method for the policy monitoring. Finally, the programs implementation of the automata and the test results demonstrate the timely response as soon as events happen.