arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2203.09882cs.NIcs.LO
收藏

OSPF路由协议的高级模型

Advanced Models for the OSPF Routing Protocol

Courtney Darville, Peter Höfner, Franc Ivankovic, Adam Pam

摘要:

我们提出了两个正式的OSPF路由协议模型,专为模型检查Uppaal。第一个是现有模型的优化模型,允许检查更大的网络拓扑。第二个是用于邻接建立的专门模型,这是OSPF的一个复杂子过程,它不是任何现有模型的一部分,并且已知容易受到网络攻击。我们说明了如何使用这两种模型来发现路由协议中的漏洞。

英文摘要:

We present two formal models for the OSPF routing protocol, designed for the model checker Uppaal. The first one is an optimised model of an existing model that allows to check larger network topologies. The second one is a specialised model for adjacency building, a complex subprocedure of OSPF, which is not part of any existing model and which is known to be vulnerable to cyber attacks. We illustrate how both models can be used to discover vulnerabilities in routing protocols.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑