基于协议验证的时间自动机取证模型

发布时间：2017-06-29 19:24

  本文关键词：基于协议验证的时间自动机取证模型，由笔耕文化传播整理发布。

【摘要】：如何确保计算机获取的证据真实可靠,成为法院上可供参考的法律依据,这是一个迫切需要解决的问题。因此,需要一种形式化描述方法使得数字取证调查具有可靠性和可信性。文中提出一种基于协议验证的TA(时间自动机)形式化描述方法,利用取证工具获得具有时间属性的行为数据,并用TA描述计算机取证的动态事件重构行为,通过UPPAAL工具进行需求分析和验证来达到取证的目的。
【作者单位】： 南京理工大学计算机科学与技术学院;
【关键词】： 时间自动机 取证模型 动态行为 形式化方法
【基金】：国家自然科学基金(61572255)资助项目
【分类号】：TP301.1;D918.2
【正文快照】： 当前社会,在信息技术跨越式进步的驱使下,计算机及互联网的重要性日益凸显。与此同时,网络犯罪也以迅猛的姿态蔓延开来,入侵手段层出不穷,呈现动态、多样和复杂的特点。为有效打击网络犯罪,计算机取证技术[1]随之不断发展,目前主要分为两种:静态取证和动态取证。前者主要是在

【相似文献】

中国重要会议论文全文数据库 前2条

1 ;基于时间自动机的实时系统建模及验证[A];第六届和谐人机环境联合学术会议（HHME2010)、第19届全国多媒体学术会议（NCMT2010）、第6届全国人机交互学术会议（CHCI2010）、第5届全国普适计算学术会议（PCC2010）论文集[C];2010年

2 高新;臧洌;黄越;;基于分簇和时间自动机的Ad hoc入侵检测方法研究[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集（下册）[C];2010年

中国硕士学位论文全文数据库 前10条

1 李建龙;PLC系统及其FBD编程语言的形式化建模与实时性验证[D];华侨大学;2015年

2 常军旺;基于扩展时间Petri网的嵌入式中断建模与验证[D];大连理工大学;2015年

3 石少玲;基于时间自动机的嵌入式工业控制系统建模与分析[D];昆明理工大学;2016年

4 周颜;时间自动机可达性检测方法研究[D];郑州大学;2007年

5 李岩;可调整时间自动机可达性算法的研究与实现[D];上海交通大学;2014年

6 王静;基于时间自动机的模型验证理论及应用研究[D];郑州大学;2005年

7 朱维军;基于时间自动机若干新模型的研究[D];郑州大学;2005年

8 孙全勇;时间自动机及其应用研究[D];哈尔滨工程大学;2007年

9 程永江;基于时间自动机的模型验证技术[D];郑州大学;2009年

10 许丹;基于时间自动机的实时系统形式化建模与验证[D];苏州大学;2007年

  本文关键词：基于协议验证的时间自动机取证模型，，由笔耕文化传播整理发布。

本文编号：499088