%0 Journal Article
%T Event reconstruction algorithm based on timed finite state machine<br>基于时间有限状态自动机的事件重建推理算法
%A CHEN Long
%A CHEN Wu
%A <br>陈龙
%J 重庆邮电大学学报(自然科学版)
%D 2009
%I 
%X 应用时间Mealy型有限状态自动机(TMM)模型进行系统建模及计算机证据的形式化.针对单路推理算法推理时随着搜索路径的延长造成推理效率下降的问题,利用证据的时间先后关系以及推理路径数量发散特性,提出一种双路双向事件重建推理算法以提高推理效率.在8个时间MeaIy有限状态自动机模型上进行了推理验证,实验结果表明该算法推理效率得到了提高.
%K computer forensics
%K event reconstruction
%K finite state machine<br>计算机取证
%K 事件重建
%K 有限状态自动机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=96E6E851B5104576C2DD9FC1FBCB69EF&jid=5C2694A2E5629ECD6B59D7B28C6937AD&aid=DF95BC42DF7292138AED63B642E6BE71&yid=DE12191FBD62783C&vid=659D3B06EBF534A7&iid=38B194292C032A66&sid=23F20F9780C3579E&eid=21D8CE17EE5EE354&journal_id=1673-825X&journal_name=重庆邮电大学学报(自然科学版)&referenced_num=1&reference_num=9