基于攻击树的边界网关协议安全测试

来源 :计算机工程与科学 | 被引量 : 0次 | 上传用户:asdfghjki
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于BGP协议构造的域间路由系统是因特网的基础设施。域间路由系统面临多种恶意攻击的成胁且易受人为错误的影响。本文提出BGP攻击树(Attack-Tree)模型,并应用该模型构造域间路由系统的安全性测试套件,不但能够全面地对BGP进行安全性测试,而且便于测试案例的生成和系统实现。测试过程就是对树的标记过程,本文为此提出了着色算法。利用生成的测试案例,对BGP目标系统进行安全测试实验。结果表明,这种方法能有效地发现BGP潜在的安全漏洞,为ISP运营商增强路由系统安全提供依据。
其他文献
针对化肥施用不当造成的土壤污染,提出开展土壤重金属污染普查,测土配方施肥技术研究推广,改进施肥方法,增施有机肥,减少化肥用量等防治对策。
由于无线信道带宽的限制,图像数据在传送前要经过压缩处理。压缩过程中采用的变长编码使压缩数据对信道噪声非常敏感:如果一个码字在传输过程中发生错误,其后续所有码字都可能受
随着农村经济社会的发展,农村城镇化进程的加快,富余的农村劳动力向城市和城镇转移,传统的农村居民点里的宅基地逐渐腾退,出现大量的"空心村"、"闲置房"的现象,农村的土地利用效
潜在语义索引(LSI)是近年发展起来的一种新的信息检索方法,本文以潜在语义索引技术为基础,从图书馆的个性化服务理念入手,介绍了图书馆个性化服务的现状,提出了图书馆个性化服务模
为解决CAN总线系统节点应用程序更新问题,本文利用节点微控制器LPC2119集成的功能模块和IAP技术,设计与实现了在线更新机制。该机制使用、维护方便,可靠性高,扩展性好,对其他嵌入
本文对用于控制单元和转发单元之间交互的ForCES协议进行了深入分析,对协议的实现提出了总体框架和协议状态的转换关系,对协议中涉及到的实现技术进行了研究。同时,建立了一套
在动态的网格计算环境中分布着大量不同类型的网格服务。快速、准确地进行网格服务发现是影响网格计算性能的关键因素。本文提出了基于本体和Agent的网格服务发现机制,它具有
目前,在小麦生产过程中,着重要解决的问题有:良种区域种植、高产技术栽培、田间科学管理,这三项是种植高产优质小麦的关键措施。良种区域种植良种小麦在各地生产中都具有优质
甘蔗生产发展中,采用深沟深种板土栽培,推广良种良法等一整套旱地蔗增产综合配套技术,坚持办样板,带动大面积增产,实现连续3年增产增收。
动态环境中的反最近邻查询已成为空间查询的研究热点,有效的数据空间削减策略是此类查询的瓶颈。本文首先给出了连续反最近邻CRNN查询的定义,并且深入分析了问题的特点;其次,