【摘 要】
：
移动主体模型可以实现协同侦测网络攻击和区域预警的功能;它利用元组空间(TUPLE-SPACE)构建移动主体服务集群(RMAS-CMAS)网络结构及侦测ARP攻击的主体.为了证明该模型逻辑的
论文部分内容阅读
移动主体模型可以实现协同侦测网络攻击和区域预警的功能;它利用元组空间(TUPLE-SPACE)构建移动主体服务集群(RMAS-CMAS)网络结构及侦测ARP攻击的主体.为了证明该模型逻辑的有效性,验证策略设计了可以分析ARP攻击数据包从初始组态到终结组态的动态空间树;利用空间树嵌套演算推理协同侦测系统的组态迁移过程,分析模块的动态移动重组以及消息的并行传递机制.对模型验证策略的研究可以消除在模型设计阶段出现的冗余组态,提高移动系统的设计水平.
其他文献
<正> 带状疱疹,中医称为缠腰火丹,目前西医尚无特效药物治疗。近年我们采用新癀片治疗,收到良好效果。总结如下:1 临床资料 我院自1996年3月～1997年12月,门诊及住院共收治带状
随着移动通信技术的迅速发展,人们提出了新的应用要求:在移动环境下处理实时事务.而移动通信的带宽有限性引起较大的数据访问延迟,有时甚至由于网络传输的断接而使得事务得不
由于CDMA具有的优点,人们在数字水印中引入CDMA技术,以改善水印稳健性.但是,在目前的CDMA水印研究中,存在如下问题:嵌入强度一般是依靠经验来确定的.注意到水印信道中对不可
在检测斜坡状边缘时,由于噪声的影响,经常出现单边缘多重响应现象.灰度形态学重建(grayscale recon struction)可以用于提取穹顶(dome).文章指出并证明了穹顶所具有的三个特性,并提出一种基于穹顶在梯度图中选取边缘的算法(DEG).根据指出的穹顶的特性,该算法具有非极大抑制(non maxima suppression, NMS)的效果;并且它仅选取出梯度图中相应于边缘的极大
提出了一个可硬件实现的基于分段的快速IPv6路由查找方案.该方案支持快速的IP地址查找,并能有效地对路由前缀进行插入和删除操作.方案采用基于比特位置区分的压缩算法,与其它
许多结构式P2P系统使用DHT技术将数据映射到相应的节点,以便在数据的存放与查找方面有很好的扩展性.但是,在节点数为n的网络中,大多数结构式P2P系统的每一次查询(lookup)都需
波分复用技术可以显著提高光传输网络的带宽,是未来主干网的核心技术之一.工作波长可调节的加载/下载复用器(ADM)是实现该技术的主要光学器件之一,研究使用可调ADM的全光网络
提出了一个针对大规模点模型的实时高质量绘制算法.该算法采用距离相关的自适应绘制策略,在不损失绘制质量的前提下简化了计算.在预处理阶段,对点模型进行剖分,为每一分片分别建立层次结构,并序列化为线性二叉树保存.绘制时,首先根据每片的包围盒和法向等信息进行快速视域裁剪与背面剔除.对于可见的分片,依据它与视点的距离和视线方向,选择恰当的细节层次,直接取出线性二叉树中对应的点几何数据,自适应地选择最合适的绘
面向服务应用中的语境信息有多种用途,实现过程各异,这增加了支撑平台开发与维护的复杂程度.文章对这些用途进行了分析,并将它们在实现过程中的共性特点进行抽象,以此为基础,
在传统的数据库恶意事务修复方案的基础上，采用Petri网模型分析事务撤销冲突和操作执行序列异常检测；进而结合可生存性DBMS特征提出恶意事务静态和on-the-fly修复算法，并在此基