Abstract | ||
---|---|---|
Network correctness and reliability are often the greatest concerns. Users use low-level configurations to realize sophisticated policies, particularly in enterprise and datacenter network, which inevitably makes errors. Existing solutions that verify whether the configuration satisfies intended policies either suffer hardcode models, absence of specification languages or scale poorly. In this paper, we propose a new framework, BEEP, which has a high-level specification and modeling language. BEEP takes configuration files as inputs, models control plane via a compact way of sharing information, and then verifies using optimized Datalog rules/quires. Finally, it either indicates success or returns counterexamples that help to debug the configuration. |
Year | Venue | Field |
---|---|---|
2018 | IEEE INFOCOM 2018 - IEEE CONFERENCE ON COMPUTER COMMUNICATIONS WORKSHOPS (INFOCOM WKSHPS) | Routing control plane,Programming language,Computer science,Correctness,Modeling language,Network configuration,Counterexample,Datalog,Routing protocol,Debugging |
DocType | ISSN | Citations |
Conference | 2159-4228 | 0 |
PageRank | References | Authors |
0.34 | 0 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
YaHui Li | 1 | 14 | 6.42 |
xie | 2 | 106 | 36.98 |
Xia Yin | 3 | 320 | 44.72 |
Xingang Shi | 4 | 11 | 3.82 |
Jianping Wu | 5 | 743 | 121.01 |
Jiangyuan Yao | 6 | 13 | 6.11 |
Yingya Guo | 7 | 49 | 5.72 |