基于工作流网模型的事件日志审计方法

摘要

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