基于形式化描述的交换机网络自动配置策略的设计与实现
A formal approach to the design and implementation of configuration strategy automation for switch network作者机构：清华大学信息网络工程研究中心北京100084 清华大学信息科学与技术国家实验室(筹)北京100084
出 版 物：《清华大学学报（自然科学版）》 (Journal of Tsinghua University(Science and Technology))
年 卷 期：2012年第52卷第8期
页 面：1041-1048页
核心收录：
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家"九七三"重点基础研究项目(2009CB320505) 国家"十一五"科技支撑计划项目(2008BAH37B05) 国家"八六三"高技术项目(2008AA01A303 2009AA01Z251) 国家自然科学基金资助项目(61170211 61170209)
摘 要：配置管理是网络管理中的重要组成部分,随着IPv6的使用、安全机制的完善,园区网的配置变得更加复杂。该文提出交换机网络自动配置策略并实现原型系统。该系统以网络拓扑为基础,将其自动转化成alloy语言的描述,通过对配置规则进行形式化描述,计算出可行的配置解,自动完成交换机各参数的配置。该文以配置交换机网络的源地址验证(SAVI)功能为例,通过多线程的方式对各个子网同时进行规则推理,可以完成千级数量SAVI交换机的自动配置。
维普期刊数据库
同方期刊数据库