基于图灵机的计算机取证重建模型

2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement Pub Date : 2009-07-08 DOI:10.1109/SSIRI.2009.41

Ryan Q. Hankins, T. Uehara, Jigang Liu

{"title":"基于图灵机的计算机取证重建模型","authors":"Ryan Q. Hankins, T. Uehara, Jigang Liu","doi":"10.1109/SSIRI.2009.41","DOIUrl":null,"url":null,"abstract":"Reconstruction is of critical importance for computer forensics: reliability depends on our ability to do so with a quantifiable degree of certainty. In this paper, we propose a new model for computer forensic reconstruction by creating a mathematical model of a computer system that reliably shows how computation progressed. Since the new model is Turing Machine-based, the reliability of other forensic reconstruction systems can be evaluated by comparing to this new model.","PeriodicalId":196276,"journal":{"name":"2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement","volume":"42 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"A Turing Machine-Based Model for Computer Forensic Reconstruction\",\"authors\":\"Ryan Q. Hankins, T. Uehara, Jigang Liu\",\"doi\":\"10.1109/SSIRI.2009.41\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Reconstruction is of critical importance for computer forensics: reliability depends on our ability to do so with a quantifiable degree of certainty. In this paper, we propose a new model for computer forensic reconstruction by creating a mathematical model of a computer system that reliably shows how computation progressed. Since the new model is Turing Machine-based, the reliability of other forensic reconstruction systems can be evaluated by comparing to this new model.\",\"PeriodicalId\":196276,\"journal\":{\"name\":\"2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement\",\"volume\":\"42 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-07-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SSIRI.2009.41\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SSIRI.2009.41","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

重建对计算机取证至关重要:可靠性取决于我们以可量化的确定性程度进行重建的能力。在本文中，我们通过创建一个可靠地显示计算过程的计算机系统的数学模型，提出了一个新的计算机取证重建模型。由于新模型是基于图灵机的，因此可以通过与新模型的比较来评估其他法医重建系统的可靠性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A Turing Machine-Based Model for Computer Forensic Reconstruction

Reconstruction is of critical importance for computer forensics: reliability depends on our ability to do so with a quantifiable degree of certainty. In this paper, we propose a new model for computer forensic reconstruction by creating a mathematical model of a computer system that reliably shows how computation progressed. Since the new model is Turing Machine-based, the reliability of other forensic reconstruction systems can be evaluated by comparing to this new model.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement

自引率

0.00%

发文量