基于协议验证的时间自动机取证模型

• 作者: 唐振民 王健
• 来源期刊: 南京邮电大学学报（自然科学版）
• 学科: 工学
• 关键词: 时间自动机 取证模型 动态行为 形式化方法
• 年，卷（期）: 2016,（6）
• 所属期刊栏目: 计算机与自动控制
• 页码范围: 105-110
• 页数: 6页
• 分类号: TP393
• 字数: 5817字
• 语种: 中文
• DOI: 10.14132/j.cnki.1673-5439.2016.06.017

摘要

如何确保计算机获取的证据真实可靠,成为法院上可供参考的法律依据,这是一个迫切需要解决的问题.因此,需要一种形式化描述方法使得数字取证调查具有可靠性和可信性.文中提出一种基于协议验证的TA(时间自动机)形式化描述方法,利用取证工具获得具有时间属性的行为数据,并用TA描述计算机取证的动态事件重构行为,通过UPPAAL工具进行需求分析和验证来达到取证的目的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐振民	南京理工大学计算机科学与技术学院	191	2436	26.0	40.0
2	王健	南京理工大学计算机科学与技术学院	45	304	10.0	16.0