基于时序逻辑的可信取证工作流模型研究

在计算机取证领域,许多取证技术在实际的取证过程中已经得到了成功有效的应用。但对所得到的电子证据的有效性或可信性方面还存在明显的问题,文章在此背景下提出了电子证据的可信取证理念,并对相关问题进行了研究。结合工作流技术及时序逻辑知识构建基于时序逻辑的可信取证工作流模型。研究了构建该取证工作流体系所需用到的关键技术、取证工作流模型的构建过程和原理,对于可信取证进一步发展具有一定帮助。