面向网络利用的移动Agent形式化研究

Formalization research for computer network exploitation based on mobile Agent

计算机网络利用是计算机网络对抗中信息获取的主要手段,移动代理的引入使得计算机网络利用系统具有更大的自主性。文章提出了一种基于移动Agent的利用体框架,其具备信息和知识的产生功能,可根据预先制定的意图在网络中移动并获取信息;使用Petri网对该框架建模并分析和验证;结果表明该系统满足计算系统的可达、有界和活性等性质,在理论上具备可行性。

The computer network exploitation（CNE） is the major means to collect data in computer network operation. The mobile Agent（MA） makes the CNE have more ability to gather the data by moving. A new exploitation framework based on mobile Agent is proposed, which has the function of generating information and knowledge and is able to transfer the intention to task and finish it by moving in the Internet. The framework is formalized and verified by color Petri net, and the results show that its reachability, liveness and boundedness meet the requirement of computing system and it is feasible in theory.