试论基于petri网的事件重建应用研究

《试论基于petri网的事件重建应用研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号亚!整密级Y1219668公开重庆邮电大学硕士学位论文论文题目基于Petri网的事件重建应用研究(题名和副题名)英文题目△卫P!i曼型Q坠垦笪曼垒!些Q堕里星型堕堕旦箜盟EventReconstruction硕士研究生鄢羽指导教师学科专业王国胤教授计算机软件与理论论文提交日期2007年5月论文评阅人答辩委员会主席论文答辩日趣!Q壁盟进坠空盈煎至赵应凹盎基烂赵查煎磕1疆埋匦途垩塞熬筮童鹾螫三焦堡陆2007年4月20F1重庆邮电大学硕士论文摘要计算机犯罪的高技术特性使取证科学产生了一个新的分支，即计算机取证。与传统取证不同的是，计算机取证收集、分析的数据是

2、计算机运行过程中所产生的数据。事件重建是计算机取证分析的一个重要部分，它是一项调查安全事件中所发生具体事件的重要任务。在入侵事件发生后，如何有效地进行计算机犯罪事件重建是计算机取证领域当前急需解决的重要问题。一种使事件重建更加严谨、可信的途径是采用标准模型对事件重建进行形式化定义。在此基础上，事件重建的自动分析才有可能实现。为了实现上述目标，本文主要做了如下两个方面的研究工作：(1)根据计算机证据的特征及相关性，探讨了事件重建的基本模型，把事件重建过程划分为四个阶段：证据鉴别、因果关联、事件重建、假设验证。我们的目标是希望根据这一模型能使事件重建更具通用性。

3、(2)为使事件重建具有较好的理论支持，文本以Petri网为基本推理模型，提出了一个基于Petri网的事件重建逆向推理算法。该算法有以下特征：将被调查的系统模拟为一个Petri网；运用专门的形式化定义来描述证据；根据被调查系统的最终状态进行逆向推理，重建出整个事件发展的全貌，从而达到澄清事实、消除矛盾的目的。(3)对基于Petri网的事件重建逆向推理算法编程实现，开发了一个基于Petri网的事件重建系统PN．ERS。经过实际相关案例的实验，结果表明本文模型和方法是有效、可行的，能够对计算机犯罪事件重建起到较好的辅助作用。关键词：计算机取证，事件重建，Petri

4、网重庆邮电大学硕士论文AbstractThetechnicalnatureofcomputercrimeleadsthedevelopmentofanewbranchofforensicsciencecalledcomputerforensics．Insteadoftraditionalforensics，itcollectsandanalysesdataproducedbycomputers．Eventreconstructionisanimportantpartofcomputerforensicanalysis．Itistheprocessofdete

5、rminingtheeventsthathappenedduringanincident．Itisanextremelyimportanttaskincomputerforensics．toreconstructthecomputercrimeeventsafteracomputerintrusionoccurs．Onewaytomakeeventreconstructionmorerigorousistoemploymathematicalmodels．Thus．eventreconstructioncouldbedoneautomatically+Toa

6、chievetheseobjectives，thisthesisfocusesonthefollowingtopics：(1)Basedonthecharacteristicsofevidences，abasiceventreconstructionmodelisdiscussed，andthereconstructionprocessisdividedintofivephases：evidenceexamination，causalcorrelation，eventconstructionandhypothesistesting．Ourgoalistoma

7、keeventreconstructionmorecompatible．(2)Becauseoftheprevalentapplicationofpetrinet．AnBackwardReasoningEventReconnstruetionAlgorithmBasedOnPetriNetisproposed．ThedefinedformaleventreconstructionalgorithmbasedonPetriNet’Stheorypossess’thefollowingfeatures：thesystemunderinvestigationism

8、odeledasapetrinet，andaspec