基于工作流网模型的事件日志审计方法
摘要:
本发明公开了一种基于工作流网模型的事件日志审计方法。基于合法模型和历史日志,以对事件日志的审计为目的,参照程序语言的分析方法,提出一种全新的事件日志审计方法,它可以针对块结构的过程模型,确定无回溯地进行日志审计。该方法包括以下步骤:(1)根据块结构模型的特点,分析日志审计中存在的问题;(2)针对这些问题,给出相应的解决方法,得到可进行确定无回溯日志审计的模型应满足的条件;(3)给出审计方法。与现有技术相比,本发明不再局限于概念模型,而是针对块结构过程模型,给出具体的日志审计方法;本发明给出了可进行确定无回溯日志审计模型应满足的条件;给出了具体的审计算法,满足条件的模型可以高效地进行日志的审计。
公开/授权文献
0/0