论文部分内容阅读
移动主体模型可以实现协同侦测网络攻击和区域预警的功能;它利用元组空间(TUPLE-SPACE)构建移动主体服务集群(RMAS-CMAS)网络结构及侦测ARP攻击的主体.为了证明该模型逻辑的有效性,验证策略设计了可以分析ARP攻击数据包从初始组态到终结组态的动态空间树;利用空间树嵌套演算推理协同侦测系统的组态迁移过程,分析模块的动态移动重组以及消息的并行传递机制.对模型验证策略的研究可以消除在模型设计阶段出现的冗余组态,提高移动系统的设计水平.