论文部分内容阅读
论文提出了一种基于行为时序逻辑和片面性理论的多方协作取证的形式化方法，有望在多方参与的调查取证中验证不可观察的行为证据，并将其应用到一个取证实例中。
基于行为时序逻辑的多方协作取证研究
【摘 要】
：
论文提出了一种基于行为时序逻辑和片面性理论的多方协作取证的形式化方法，有望在多方参与的调查取证中验证不可观察的行为证据，并将其应用到一个取证实例中。
【机 构】
：
贵州财经大学信息学院,福建工程学院信息科学与工程学院
【出 处】
：
网络空间安全
【发表日期】
：
2016年11期
其他文献
目的:查阅全国各家医院发表的抗青光眼用药分析文献,在大数据下分析抗青光眼药的使用特点和趋势。方法:回顾性分析2005—2018年全国抗青光眼用药分析文献的用药情况。分析各
一个合格的大学生应具备的健康素质许志桥问及健康的概念是什么，有人可能会说健康就是没病，如此简单。其实不然。健康是一个综合概念。人类对健康的认识和要求在不同的历史发展
进入二十世纪以来,我国高校建设蓬勃发展,高校图书馆作为高校必备的元素之一,不仅承担收藏书籍、办理借阅手续和提供阅览空间的功能,也是高校文化的重要标志。由于早期国家经
<正>中国故事讲述的是与中国相关的故事,不仅包括中国的国情国事,也包括海内外华侨华人的故事。中国故事是中国文化软实力的一个重要体现,讲好中国故事则是众多海外华文媒体
会议
自党的十八大以来,中央广播电视台产制了一系列生态纪录片,以配合中央高层关于生态文明建设的推进。本文以《红线》为例,意欲探求中央广播电视台生态纪录片的结构方式和呈现
基于当下中小学移动学习效率低下的现状,构建了深度学习交互层次模型,并以模型为基础开发了微慕深度学习模式,总结了能有效促进微慕深度学习的途径:相互交替的协作学习与独立
茂钛／锫化合物在催化烯烃聚合、氢化异构化、有机合成、含水条件合成茂钛／锆配合物为绿色合成该类化合物提供了可行的途径。抗癌活性及潜在的超强酸催化性能等方面均表现出了重
绘画活动是幼儿园艺术教育的重要组成部分,它能培养幼儿的绘画能力,促进幼儿绘画水平的提高,是幼儿感受美、表现美和创造美的重要途径。在《3-6岁儿童学习与发展指南》的引领