A Formalized Model Of Digital Data For Trusted Forensics

With the rapid development of computer technology, the crime cases related to computertechnology have been increasing year by year. So, computer forensics came into being.According to the characteristics of computer forensics, it should make the maximum extentpossible to collect all the electronic evidence involved, ensure the aboriginality of digital dataand the credibility of the result. How to ensure that the digital evidence provided to the court asthe trial basis is a pressing problem. Throughout the development of computer forensics in recentyears, technical studies focus on access to electronic data, ignoring the data analysis and therelated theory. In view of this, on the basis of the existing research, this paper presents asemantic feature model of the static properties of the electronic data and a formal model ofdynamic behavior in the computer forensics processes for ensuring the aboriginality,completeness, consistency and credibility and the standardization of the method.After seeking a large number of data, the main work this paper has done is the following:1) The research findings that have been done are summarized in this article. The researchanalyzes the rationale of digital data trusted forensic, which at the same time supports theformalizing model of the trusted computer forensics in the basic theoretical way.2) On the theoretical basis of existing digital data trusted forensic systems, the paperanalyzes the shortage of computer forensics, and puts forward the static semantic model offeatures for trusted digital data and the dynamic semantic model of description for trusteddigital data.3) The static semantic model of features for trusted digital data is described by FODA andOCL with formal methods.4) By combing hierarchical timed automata and waterfall model-based trusted computerforensics, this paper describes the dynamic semantic model of description in computerforensics with formal methods.5) Some cases are provided to analyze the static semantic model of features for trusteddigital data, and UPPAAL is used in the dynamic semantic model of description for trusteddigital data for emulation and property verification.