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

摘要：

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

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

所属期刊栏目：28

分类号：TP393(计算技术、计算机技术)

资助基金：国家863计划项目2006AA701416

在线出版日期：2009-01-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：2832-2834