首页 期刊 网络空间安全 基于行为时序逻辑的多方协作取证研究 【正文】

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

作者:李均涛; 唐郑熠; 张金磊 贵州财经大学信息学院; 贵州贵阳550025; 福建工程学院信息科学与工程学院; 福建福州350108
入侵取证   行为时序逻辑   片面性   多方协作取证  

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

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

学术咨询 免费咨询 杂志订阅