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

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

Study of Workflow Model of Trust Forensics Based on Temporal Logic

In the domain of computer evidence collection,many evidence collection technologies already obtained the Success application in the actual evidence collection process.But the research of evidence collection credibly is also deficient,it still obtains many big problems in the trusted aspect of electronic evidence,this article studies formalized proof question of the trusted evidence collection under this background.Make use of the function of workflow technology and the TL knowledge to set the dependable evidence model.Completely research the key technology required by the forensic workflow model.Then gives the processes and the principle about the digital forensic workflow model.