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

王坤

首页> 中文期刊> 《煤炭技术》 >基于时序逻辑的可信取证工作流模型研究

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

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《煤炭技术》 |2012年第9期|198-200|共3页
作者
王坤;
展开▼
作者单位

河南职业技术学院;

郑州450046;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机的应用;
关键词
可信取证; 时序逻辑; 工作流; 模型分析;

相似文献

中文文献
外文文献
专利

1. 基于行为时序逻辑的多方协作取证研究 [J] . 李均涛 ,唐郑熠 ,张金磊 . 信息安全与技术 . 2016,第11期
2. 基于行为时序逻辑的多方协作取证研究 [J] . 李均涛1 ,唐郑熠2 ,张金磊1 . 网络空间安全 . 2016,第11期
3. 基于行为时序逻辑的磁盘入侵取证研究 [J] . 李均涛 . 电脑知识与技术 . 2013,第26期
4. 基于行为时序逻辑的入侵取证研究 [J] . 李均涛 ,唐郑熠 ,李祥 . 计算机应用研究 . 2011,第7期
5. 基于时序逻辑的工作流建模与分析方法 [J] . 王远 ,范玉顺 . 高技术通讯 . 2006,第2期
6. 一种进程代数风格的基于时序逻辑的工作流建模方法 [C] . 陈曙 ,毋国庆 ,肖晶 . 2009国际信息技与应用论坛 . 2009
7. 基于时序逻辑的柔性工作流的研究与实现 [A] . 段毅 . 2005

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

摘要

著录项

相似文献

相关主题

期刊订阅