一种基于mealy自动机的策略监控模型

？策略监控是完善策略管理系统、提高系统可靠性，并为第三方审计提供依据的有效途径之一。对策略整个生命周期中的状态进行了划分，引入mealy自动机，对整个状态转换过程进行了建模，明确了监控对象及分析依据，从而实现了对策略状态的宏观监控，即通过合法性判定算法对策略进行的操作进行判定。最后，通过对自动机模型及判定算法的程序实现与性能测试可以看出，该算法能够及时有效地对事件数据进行处理响应。