Study of Workflow Model of Trust Forensics Based on Temporal Logic
Wang Kun · Coal Technology · 2012
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.