基于时间有限状态自动机的事件重建推理算法

• 作者: 陈武 陈龙
• 来源期刊: 重庆邮电大学学报（自然科学版）
• 学科: 工学
• 关键词: 计算机取证 事件重建 有限状态自动机
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 计算机与自动控制
• 页码范围: 393-397
• 页数: 5页
• 分类号: TP393.08
• 字数: 4484字
• 语种: 中文

摘要

应用时间Mealy型有限状态自动机(TMM)模型进行系统建模及计算机证据的形式化.针对单路推理算法推理时随着搜索路径的延长造成推理效率下降的问题,利用证据的时间先后关系以及推理路径数量发散特性,提出一种双路双向事件重建推理算法以提高推理效率.在8个时间MeaIy有限状态自动机模型上进行了推理验证,实验结果表明该算法推理效率得到了提高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈龙	重庆邮电大学计算机取证与调查研究所	56	544	12.0	21.0
2	陈武	重庆邮电大学计算机取证与调查研究所	1	3	1.0	1.0