[00270545]基于工作流网模型的事件日志审计方法
交易价格：
面议
所属行业：
分析仪器
类型：
发明专利
技术成熟度：
正在研发
专利所属地：中国
专利号：CN201510508731.1
交易方式：
技术转让
技术转让
技术入股
联系人：
山东科技大学
进入空间
所在地：山东青岛市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
摘要：本发明公开了一种基于工作流网模型的事件日志审计方法。基于合法模型和历史日志，以对事件日志的审计为目的，参照程序语言的分析方法，提出一种全新的事件日志审计方法，它可以针对块结构的过程模型，确定无回溯地进行日志审计。该方法包括以下步骤：(1)根据块结构模型的特点，分析日志审计中存在的问题；(2)针对这些问题，给出相应的解决方法，得到可进行确定无回溯日志审计的模型应满足的条件；(3)给出审计方法。与现有技术相比，本发明不再局限于概念模型，而是针对块结构过程模型，给出具体的日志审计方法；本发明给出了可进行确定无回溯日志审计模型应满足的条件；给出了具体的审计算法，满足条件的模型可以高效地进行日志的审计。
摘要：本发明公开了一种基于工作流网模型的事件日志审计方法。基于合法模型和历史日志，以对事件日志的审计为目的，参照程序语言的分析方法，提出一种全新的事件日志审计方法，它可以针对块结构的过程模型，确定无回溯地进行日志审计。该方法包括以下步骤：(1)根据块结构模型的特点，分析日志审计中存在的问题；(2)针对这些问题，给出相应的解决方法，得到可进行确定无回溯日志审计的模型应满足的条件；(3)给出审计方法。与现有技术相比，本发明不再局限于概念模型，而是针对块结构过程模型，给出具体的日志审计方法；本发明给出了可进行确定无回溯日志审计模型应满足的条件；给出了具体的审计算法，满足条件的模型可以高效地进行日志的审计。
