优化链路状态路由协议的形式化
网络与互联网体系结构
2020-04-29 v1 计算机科学中的逻辑
摘要
路由协议规范传统上以纯英文撰写。这常常导致歧义、不准确甚至矛盾。形式化方法技术（如进程代数）避免了这些问题，从而提供了更精确且可验证的协议描述。在本文中，我们使用定时进程代数 T-AWN 对优化链路状态路由协议（OLSR）版本 2 进行建模。
引用
@article{arxiv.2004.13285,
title = {Formalising the Optimised Link State Routing Protocol},
author = {Ryan Barry and Rob van Glabbeek and Peter Höfner},
journal= {arXiv preprint arXiv:2004.13285},
year = {2020}
}
备注
In Proceedings MARS 2020, arXiv:2004.12403