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

作者：焦健; 王春平; 肖庆

来源：合肥工业大学学报(自然科学版), 2013, (05): 572-575.

• 计算机网络对抗
• 移动Agent
• 有色Petri网
• 框架 computer network operation
• mobile Agent
• color Petri net
• frame

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

• 单位
  北京机械工业学院; 广西师范大学; 浙江工业大学; 北京信息科技大学