基于时间有限状态自动机的事件重建推理算法OA北大核心CSTPCD
Event reconstruction algorithm based on timed finite state machine
应用时间Mealy型有限状态自动机(TMM)模型进行系统建模及计算机证据的形式化.针对单路推理算法推理时随着搜索路径的延长造成推理效率下降的问题,利用证据的时间先后关系以及推理路径数量发散特性,提出一种双路双向事件重建推理算法以提高推理效率.在8个时间MeaIy有限状态自动机模型上进行了推理验证,实验结果表明该算法推理效率得到了提高.
陈龙;陈武
重庆邮电大学计算机取证与调查研究所,重庆400065重庆邮电大学计算机取证与调查研究所,重庆400065
信息技术与安全科学
计算机取证事件重建有限状态自动机
《重庆邮电大学学报（自然科学版）》 2009 (3)
393-397,5
重庆市自然科学基金项目(CSTC,2007BB2454)
评论