基于行为时序逻辑的多方协作取证研究

• 作者: 唐郑熠 张金磊 李均涛
• 来源期刊: 网络空间安全
• 学科: 工学
• 关键词: 入侵取证 行为时序逻辑 片面性 多方协作取证
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: 网络取证方法及研究
• 页码范围: 82-86
• 页数: 5页
• 分类号: TP309.2
• 字数: 3797字
• 语种: 中文

摘要

论文提出了一种基于行为时序逻辑和片面性理论的多方协作取证的形式化方法,有望在多方参与的调查取证中验证不可观察的行为证据,并将其应用到一个取证实例中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐郑熠	福建工程学院信息科学与工程学院	17	19	3.0	3.0
2	李均涛	贵州财经大学信息学院	14	24	4.0	4.0
3	张金磊	贵州财经大学信息学院	4	32	2.0	4.0