.png){kind=icon}
返回
Toward Comprehensive Network Verification: Practices, Challenges and Beyond
.png){kind=icon}
PRE
AI
DOI：10.1109/MNET.001.1800330.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Guaranteeing that large scale networks are always operated as policy goals dictate is critical for network availability, security, and performance. The problem is challenging, as it should not only assure the correctness of policy configurations across various network devices, but also guarantee the faithfulness of policy enforcement on actual packet forwarding behaviors. In this article, we provide a systematic overview of the direction of network verification, which covers both verification of network configurations and assurance of device actual behaviors. In particular, we summarize state-of-the-art designs with focuses from early stateless data planes with switches/routers to more recent stateful ones containing middleboxes. After analyzing and comparing these works, we also specify future directions in the verification of stateful networks.
Keyword:
Middleboxes
Semantics
Model checking
Large-scale systems
Heuristic algorithms
Security
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
6.3
论文数:
2.7K
被引数:
1.1W
机构
引用论文
.png){kind=icon}
27Al‐NMR‐Untersuchungen zur Reaktion von Alkali‐alumoborosilieat‐Gläsern mit Korund beim Sintern
PREAI
分享收藏The crystal and molecular structure of the binuclear complex, (μ-Acetato-O,O')[(μ-S)-α,α'-{(2-mercapto-4-methylbenzene-1,3-diyl)di(methylidyne)di(azino)}bis(cyclohexanemethanol)ato(3 -)]dipalladium(II), LPd2(OAc), and its chloroform solvate, LPd2(OAc)(CHCl3)2双核配合物的晶体和分子结构，(μ-乙酰基-O，O')[(μ-s)-α，α'-{(2-巯基-4-甲基苯-1，3-二基) 二 (甲基) 二 (azino)} 双 (环己烷甲醇) ato(3 -)] 二钯 (II)，LPd2(OAc) 及其氯仿溶剂化物LPd2(OAc)(CHCl3)2
PREAI
分享收藏
Reactions of ethyl dichlorophosphate with MCl3 (M = Al, Cr) and UCl4二氯磷酸乙酯与MCl3 (M = Al，Cr) 和UCl4的反应
PREAI
分享收藏
没有更多内容
没有更多内容