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

Policy monitor model based on Mealy automata

作　　者：彭军[1] 陈性元[1] 吴蓓[1] 代向东[1] 王永亮[1] 

机构地区：[1]信息工程大学电子技术学院,郑州450004

出　　处：《计算机应用》2008年第11期2832-2834,共3页journal of Computer Applications

基　　金：国家863计划项目(2006AA701416)

摘　　要：策略监控是完善策略管理系统、提高系统可靠性,并为第三方审计提供依据的有效途径之一。对策略整个生命周期中的状态进行了划分,引入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.

关 键 词：策略状态 策略监控 Mealy自动机 事件 正规表达式 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]