面向网络利用的移动代理体的形式化的研究.pdfVIP

面向网络利用的移动代理体的形式化研究 焦健 北京信息科技大学 北京市100101 摘要：计算机网络利用是计算机网络对抗中信息获取的主要手段。移动代理的引入使得计算机网 络利用系统具有了更大的自主性。本文提出了一种基于移动Agent，具有信息和知识的自我转换功 能，可根据预先制定的意图在网络中移动，获取信息。本文使用Petri网对该模型建模并分析和验证， 该系统满足计算系统的可达、有界和活性等性质，在理论上可行。 关键词：计算机网络利用;移动Agent;有色Petri网 系 统 建 模 与 ！ 我们按照各种活亏 活动，该活动通 限的影响，因世 步提高代理体的 相应 的拓 扑信 E变迁T1’发生刚 organize表示存{ 2”触发，根据P 曰兀，土，^Yj 因而在整个j 系统首先产！ 字在漏洞和名 况下存在死变迁 （Host* ！情况下的系统，这也从一 TheFormalizationResearchforComputerNetworkExploitation MobileAgent JiaoJian BeijinginformationScienceTechnologyUniverstiy,Beijing,100101 Abstract:Thecomputernetworkexploitation(CNE)istocollectdatafrominternetandproducethe informationfornetwokmanagement,networksecurity,etc.Themobileagent(MA)makethe(CNE)tohave themoreabilitytogatherthedatabymoving.ThispaperproposalsanewmodleusingMA,whichhavethe abilitytotransfertheintentiontotaskforawaring.WeformalsthemodelbycolorPetrinet,andvalidateits characterssuchasreachability,livenessandboundednessbyCPNTOOLS.Theexperientresultsshowthe modlecanbefinishforcomnutingsystemintheory. Keywords:ComputerNetworkExploitation;MobileAgent;ColorPetri-Net