R（右）郊游

朱利叶斯·迈克利斯 🌐和科尼利厄斯·迪克曼 🌐

2016年8月31日

摘要

此条目包含路由的定义表/最长前缀匹配。路由表条目建模为前缀匹配、度量、输出端口和可选下一跳。路由表是按前缀排序的条目列表长度和公制。此外ip路由命令的输出，一个从中创建关系的函数输出端口到相应的目的地IP空间，以及包括Linux型路由器。

许可证

许可协议

话题

会话路由

取决于

使用者

引用

× 
@文章{路由-AFP，作者={朱利叶斯·迈克利斯和科尼利厄斯·迪克曼}，title={路由}，journal={正式证据存档}，月={八月}，年份={2016年}，注释={\url{https://isa-afp.org/entries/Routing.html},形式证明开发}，ISSN={2150-914x}，}
下载

下载

× 下载最新版本

旧版本：