Name
Abstract | ||
|---|---|---|
Network functions (NFs), like firewall, NAT, IDS, have been widely deployed in today’s modern networks. However, currently there is no standard specification or modeling language that can accurately describe the complexity and diversity of different NFs. Recently there have been research efforts to propose NF models. However, they are often generated manually and thus error-prone. This paper proposes a method to automatically synthesize NF models via program analysis. We develop a tool called NFactor, which conducts code refactoring and program slicing on NF source code, in order to generate its forwarding model. We demonstrate its usefulness on two NFs and evaluate its correctness. A few applications of NFactor are described, including network verification. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.1145/3005745.3005754 | HotNets |
Field | DocType | Citations |
Network verification,Program slicing,Firewall (construction),Source code,Computer science,Correctness,Modeling language,Program analysis,Code refactoring,Distributed computing | Conference | 6 |
PageRank | References | Authors |
0.59 | 7 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Wenfei Wu | 1 | 399 | 28.74 |
| Ying Zhang | 2 | 419 | 28.64 |
| Sujata Banerjee | 3 | 2327 | 165.38 |