COPS协议的形式建模与安全性分析

来源 :计算机应用 | 被引量 : 2次 | 上传用户:endest
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在基于政策的网络管理体系中,COPS协议是政策决策点和政策执行点之间信息交换的协议。在对该协议进行分析的基础上,针对协议的安全机制,构造其着色Petri网模型并进行仿真,验证了该协议的安全性。最后通过模拟网络传输中出现的入侵行为,并分析由此导致的结果,发现了COPS协议存在的安全缺陷,为进一步完善该协议提供了根据。
其他文献
从生态学的观点来看.建筑业是形成人类生态系统的一个重要方面,城市则是发展程度最高、反自然程度最强的人类生态系统。据估计,在世界经济活动中.与建筑业有关的活动占10%以上,在发
采用射频等离子体化学气相沉积的方法在有机玻璃表面沉积一层氧化硅薄膜,以提高其耐磨性能。分别使用红外光谱、金相显微镜和微型磨损试验机对所沉积的氧化硅薄膜进行了结构
目的观察人表皮生长因子喷剂对口腔扁平苔藓的临床疗效。方法将28例严重的糜烂患者随机分成两组,治疗组喷涂人表皮生长因子喷剂于病损区,对照组涂擦溃疡糊剂。结果治疗组愈合时
虚拟机技术可以使硬件和软件明确分开,还能实现容错管理、动态负载均衡、服务器在线维护,对于提高数据中心和集群的服务性能尤其有利。设计并实现了4种负载类型的虚拟机在XEN上的迁移实验,比较了不同负载对于动态迁移的影响,以及动态迁移相对于静态迁移的优越性。
摘 要:复合材料因性能独特而备受关注,但其自身结构复杂且受到诸多因素的影响,因而对其摩擦学性能的研究仍有待进一步加强。为了对比不同摩擦配副对C/SiC复合材料摩擦性能及储油性能的影响,以C/SiC复合材料为研究对象,运用销盘摩擦学试验方法,研究了C/SiC复合材料与45#钢以及C/SiC复合材料与ZrO2材料摩擦配副的摩擦学性能,采用三维形貌仪等仪器对C/SiC复合材料摩擦后的表面进行表征分析,研
提出了一种基于梯度向量流的自动图像分割算法,该算法首先将梯度向量流场转化为一个标量场,该标量场能够显著简化种子点选取和区域增长的步骤。在得到图像的初始分割后,再使用基于区域邻接图的算法来将相似区域合并得到最终分割结果。试验结果表明,该算法能够有效地解决医学图像中多目标区域的自动分割问题。
由于图模型的广泛采用,图数据的快速包容搜索在许多不同领域广泛应用。给定一个模型图集D和一个查询图集q,传统的图搜索旨在检索所有包含q的图(q■g),与此不同,包容搜索有其自身的索引特性,针对这些特性进行系统地研究,并提出一种基于对比子图的索引模型(csgIndex):使用一个冗余感知特征选择过程,csgIndex能挑选出一个鲜明的具有区分力的对比子图集,并最大化其索引能力。对实时测试数据的实验结果
目的观察姜黄素对过氧化氢(H2O2)诱导的血管内皮细胞损伤的影响。方法以100μmol/L H2O2作用2 h为致伤因素,51,0,15μmol/L姜黄素为保护因素,比色法检测培养基中一氧化氮(NO)的浓
用基于深度变化成像模型的调整EM算法进行三维显微图像复原,不能更好地复原图像细节,而且耗时长。为提高图像的复原质量,缩短时间,提出把调整EM算法与加权小波相结合的算法。该算法先对加权小波系数进行调整,再用调整EM算法进行迭代复原。实验表明复原效果得到改善,并减少了迭代次数,效率明显提高。
用成本——收益原则对种养草坪与植树造林进行比较评价,可以发现,大量涌现的中国城市草坪具有明显的成本高和收益低的缺陷特征,而植树造林则具有成本低和收益高的显著优势。之所以会形成中国城市绿化工程的草坪模式,主要原因在于:花公众的钱办公家的事——经济产权模糊;地方政府官员因扭曲的政绩观需要短期的草坪“政绩”;理念缺陷、知识匮乏和从众效应等。相关的政策建议:政府应组织专家制订城市绿化工程项目“菜单”;依据成本——效益原则对“菜单”项目进行科学排序;设定公众参与的听证会选择程序和决策环节;对政府官员实行生态政绩考核