• 主题
高级搜索  >
历史搜索 清空历史
首页> 美国政府科技报告 >Relating Two Formal Models of Path-Vector Routing
【24h】

Relating Two Formal Models of Path-Vector Routing

机译：关于路径向量路由的两种形式化模型

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper unifies two independently developed formalisms for path- vector routing protocols such as the Border Gateway Protocol (BGP), the standard interdomain routing protocol for the Internet. The works of Griffin, Jaggard, and Ramachandran (4) and Sobrinho (8) proved conditions for guaranteed protocol convergence, but as they operate at different levels of abstraction in modeling the protocols, the relationship between them is not obvious. Here we provide a rigorous translation between the two frameworks and use it to connect the convergence results, yielding a more complete set of analysis tools than in either paper alone. We motivate our discussion by presenting an example of applying both frameworks to analyze a set of protocols; in doing so, we show how the models, in conjunction, give important guidelines for protocol design.

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号