| 基于形式化描述的交换机网络自动配置策略的设计与实现 |
| |
| 引用本文： | 杨家海,姜宁,安常青,李福亮.基于形式化描述的交换机网络自动配置策略的设计与实现[J].清华大学学报(自然科学版),2012(8):1041-1048. |
| |
| 作者姓名： | 杨家海 姜宁 安常青 李福亮 |
| |
| 作者单位： | 清华大学信息网络工程研究中心;清华大学信息科学与技术国家实验室(筹) |
| |
| 基金项目： | 国家“九七三”重点基础研究项目(2009CB320505);国家“十一五”科技支撑计划项目(2008BAH37B05);国家“八六三”高技术项目(2008AA01A303,2009AA01Z251);国家自然科学基金资助项目(61170211,61170209) |
| |
| 摘 要： | 配置管理是网络管理中的重要组成部分,随着IPv6的使用、安全机制的完善,园区网的配置变得更加复杂。该文提出交换机网络自动配置策略并实现原型系统。该系统以网络拓扑为基础,将其自动转化成alloy语言的描述,通过对配置规则进行形式化描述,计算出可行的配置解,自动完成交换机各参数的配置。该文以配置交换机网络的源地址验证(SAVI)功能为例,通过多线程的方式对各个子网同时进行规则推理,可以完成千级数量SAVI交换机的自动配置。
|
| 关 键 词： | 网络管理 自动配置 alloy语言 |
A formal approach to the design and implementation of configuration strategy automation for switch network |
| |
| YANG Jiahai,JIANG Ning,AN Changqing,LI Fuliang.A formal approach to the design and implementation of configuration strategy automation for switch network[J].Journal of Tsinghua University(Science and Technology),2012(8):1041-1048. |
| |
| Authors: | YANG Jiahai JIANG Ning AN Changqing LI Fuliang |
| |
| Institution: | 1,2(1.Network Research Center,Tsinghua University, Beijing 100084,China; 2.Tsinghua National Laboratory for Information Science and Technology(TNList),Beijing 100084,China) |
| |
| Abstract: | |
| |
| Keywords: | network management automatic configuration alloy language |
| 本文献已被 CNKI 等数据库收录！ |
|
