《计算机学报》文章摘要 全文下载 | |
文章题目 | 基于协同侦测技术的移动主体模型验证策略研究 |
作者 | 李海鹰 程灏 叶为全 庄镇泉 |
作者单位 | (中国科技大学电子科学与技术系 合肥 230026) |
发表年份 | 2005 |
发表月份 | 5期(921—927) |
文章摘要 | 摘要 移动主体模型可以实现协同侦测网络攻击和区域预警的功能;它利用元组空间(TUPLE-SPACE)构建移动主体服务集群(RMAS-CMAS)网络结构及侦测ARP攻击的主体.为了证明该模型逻辑的有效性,验证策略设计了可以分析ARP攻击数据包从初始组态到终结组态的动态空间树;利用空间树嵌套演算推理协同侦测系统的组态迁移过程,分析模块的动态移动重组以及消息的并行传递机制.对模型验证策略的研究可以消除在模型设计阶段出现的冗余组态,提高移动系统的设计水平. 关键词 移动主体;元组空间;模型验证;组态迁移 中图法分类号 TP393 |