面向工作流系统基于流程挖掘的安全审计技术研究与实现

摘要	第1-8页
Abstract	第8-12页
第1章. 绪言	第12-16页
·研究背景与意义	第12-13页
·研究现状	第13-14页
·本文研究内容	第14-15页
·本文组织结构	第15-16页
第2章. 工作流系统及相关安全技术	第16-25页
·工作流技术概述	第16页
·工作流系统参考模型	第16-18页
·工作流安全	第18-24页
·工作流系统安全目标	第18-21页
·工作流安全技术研究	第21-22页
·工作流系统中的安全审计	第22-24页
·小结	第24-25页
第3章. 工作流流程挖掘技术	第25-32页
·流程挖掘技术概述	第25-29页
·流程模型定义语言	第25-27页
·工作流流程挖掘算法比较	第27-29页
·基于Petri网的工作流网定义	第29-31页
·小结	第31-32页
第4章. 流程挖掘技术在工作流安全审计中的应用	第32-45页
·针对安全审计的工作流模型扩展	第32-34页
·扩展模型定义	第32-33页
·扩展α算法	第33-34页
·安全审计分析	第34-42页
·任务流的异常和一致性分析	第34-35页
·变量异常分析	第35-37页
·变量阈值与安全范围分析	第37-42页
·实验结果与分析	第42-44页
·小结	第44-45页
第5章. 工作流安全审计模型的分析与实现	第45-62页
·安全审计模型研究	第45-46页
·设计原则	第45-46页
·审计模型分析	第46页
·工作流审计模型设计	第46-52页
·带有安全审计引擎的工作流系统实现	第52-61页
·带有安全审计引擎的工作流系统框架	第52页
·系统实现框架	第52-61页
·小结	第61-62页
第6章.总结	第62-64页
·本文工作总结	第62-63页
·近一步工作展望	第63-64页
参考文献	第64-66页
附录一:作者攻读硕士学位期间发表的论文	第66页
附录二:作者攻读硕士学位期间参与的科研项目	第66-67页
致谢	第67页