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

摘要

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