基于MAS的复杂网络安全形式化建模

来源 :计算机科学 | 被引量 : 0次 | 上传用户:tangmanzhuo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对网络攻击和防御形式化建模逼真度低和描述不规范的问题,基于多Agent建模思想提出了一种"微-宏"观相结合的具有良好扩展性的形式化建模方法,该方法从微观上描述了个体Agent的静态属性和动态行为,从宏观上描述了角色分配方式和各Agent之间的联系。接着以DDoS攻击与防御为例,给出了上述方法的具体实现过程。最后,仿真验证了DDoS攻防模型的正确性和有效性。
其他文献
可计算性(Computability)即算法有解性,是数学和计算机科学领域中重要的概念之一。可计算性逻辑(Computability Logic,CoL)是关于可计算性的形式理论,是一种交互的资源逻辑。其中
对热带气旋的中心进行定位是预测其未来路径的基础。提出了一种基于椭圆拟合模型的全自动客观方法来代替传统的基于螺线拟合的方法,以实现热带气旋的中心定位。该方法包含梯度方向融合、椭圆线段选取、椭圆中心聚类以及气旋中心确定4个步骤。采用卫星红外图像进行实验,结果表明,提出的椭圆拟合定位方法与中国气象局发布的热带气旋最佳路径数据集在经度和纬度方向的偏差均值小于0.12度,为热带气旋中心定位提供了客观准确的参
利用GMM模型对自然图像块进行学习,对高斯分量的协方差矩阵做PCA,用其特征向量组成的矩阵作为子字典,用特征值的大小作为对稀疏系数加权的依据,并将该模型应用到CSR模型中得到一种新的去噪模型,并给出模型的优化算法。为了验证提出的模型的有效性,设计了比较的仿真实验,实验表明与一些先进的模型相比,该方法具有优势。
针对现有形态滤波算法结构固定、预设结构元素和偏倚校正系数等不足,提出一种具有多层结构的自适应形态滤波算法,多层结构共分为3层:输入层、中间计算层、偏倚系数校正层。该
交通领域个性化图像检索的关键是根据业务需求通过重点监控车辆的个性化特征在海量数据库中进行匹配,其目的是捕获与重点监控车辆相关的卡口信息。目前的图像检索算法包括基于文本的图像检索、基于内容的图像检索方法和基于语义的图像检索。针对交通领域的图像检索需求,提出了一种基于全局以及个性化感兴趣区域特征的图像检索算法。通过使用交通图像库进行检索验证,对个性化特征进行精准滤除,从而得到准确的检索结果。实验表明,
针对行人检测技术在智能交通系统中的应用,为了提高行人检测方法的有效性、实时性和准确性,将稀疏表达应用到图像的特征压缩中,提出一种基于HOG和LTP特征训练SVM分类器进行行
逻辑函数是描述数字电路中输入变量与输出变量之间逻辑因果关系的重要工具,研究逻辑函数的约简具有重要的理论和实际意义。针对计算机化简逻辑函数普遍存在的算法复杂度高、
信息隐藏技术在智能手机上具有很强的隐蔽性和可操作性,对传统的手机取证技术提出了更高的要求和挑战。自适应多速率语音编码是智能手机中常用的语音编码,通过分析其编码过程和
为了研究爆破振动对紧邻既有隧道的影响,以京张高铁地下车站3条紧邻平行隧道的爆破振动信号为基础,采用HHT方法分析小间距隧道爆破时在紧邻既有隧道迎爆侧洞壁处的振动信号,
医学图像在病人的诊疗过程中具有重要的参考意义。然而,受设备分辨率和放射剂量的影响,现有设备获得的医学图像分辨率较低,容易对最终诊疗结果产生不利影响。针对这个问题,提出了一种自适应块聚类的医学图像超分辨重建算法。首先,该算法对图像进行四叉树分解,自适应地获得不同尺度的图像块;然后,通过图像块特征提取和聚类处理得到各个不同尺度图像块的聚类中心;最后,利用聚类中心和相应的回归系数重建出高分辨率图像。实验