Policy monitor model based on Mealy automata
一种基于Mealy自动机的策略监控模型

Policy monitoring is one of the most indispensable step in the implementation of the whole policy management, which can improve the reliability of the system and offer the references to the audit after some security incidents' occurrences. In this paper, the policy states were divided into several types. Also the policy states translation model based on the Mealy automata was promoted. It provided the objects for the policy monitor. At last, programs implementation of the automata and test results are given to show the timely response when events happen.