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

摘要：

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

关键词： 计算机网络利用 移动Agent 有色Petri网 模型验证 建模分析

作者: 焦健

作者单位: 北京信息科技大学 北京市100101

会议类型: 国内会议

会议名称: 第8届全国计算机支持的协同工作学术会议(CCSCW-2012)暨全国第23届计算机技术与应用学术会议(CACIS-2012)

会议地点: 威海

会议语种:中文

页码: 151-157

在线出版日期: 2012-07-20（万方平台首次上网日期，不代表论文的发表时间）