基于时序逻辑的可信取证工作流模型研究

• 作者: 王坤
• 来源期刊: 煤炭技术
• 学科: 工学
• 关键词: 可信取证 时序逻辑 工作流 模型分析
• 年，卷（期）: 2012,（9）
• 所属期刊栏目: 技术交流
• 页码范围: 198-200
• 分类号: TP39
• 字数: 3212字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-8725.2012.09.091

摘要

在计算机取证领域,许多取证技术在实际的取证过程中已经得到了成功有效的应用.但对所得到的电子证据的有效性或可信性方面还存在明显的问题,文章在此背景下提出了电子证据的可信取证理念,并对相关问题进行了研究.结合工作流技术及时序逻辑知识构建基于时序逻辑的可信取证工作流模型.研究了构建该取证工作流体系所需用到的关键技术、取证工作流模型的构建过程和原理,对于可信取证进一步发展具有一定帮助.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王坤		11	30	4.0	5.0