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

Multilateral Cooperation Intrusion Forensics Based on Temporal Logic of Actions

作　　者：李均涛[1] 唐郑熠[2] 张金磊[1] 

机构地区：[1]贵州财经大学信息学院,贵州贵阳550025 [2]福建工程学院信息科学与工程学院,福建福州350108

出　　处：《网络空间安全》2016年第11期82-86,共5页Cyberspace Security

摘　　要：论文提出了一种基于行为时序逻辑和片面性理论的多方协作取证的形式化方法,有望在多方参与的调查取证中验证不可观察的行为证据,并将其应用到一个取证实例中。Put foreword a formalist method of multi-party cooperation intrusion forensics based on Temporal Logic of Actions and Opacity Theory, expected to verify the evidence not easy observed, and apply it to an intrusion forensic instance.

关 键 词：入侵取证 行为时序逻辑 片面性 多方协作取证 

分 类 号：TP309.2[自动化与计算机技术—计算机系统结构]