Enforcing Customizable Consistency Properties in Software-Defined Networks
| Title | Enforcing Customizable Consistency Properties in Software-Defined Networks |
| Publication Type | Presentation |
| Year of Publication | 2015 |
| Authors | Wenxuan Zhou, University of Illinois at Urbana-Champaign, Matthew Caesar, University of Illinois at Urbana-Champaign, Brighten Godfrey, University of Illinois at Urbana-Champaign |
| Keywords | A Hypothesis Testing Framework for Network Security, correctness, network consistency, Network security, NSA SoS Lablets Materials, science of security, UIUC, Veriflow |
| Notes | Presented to the Illinois SoS Bi-weekly Meeting, April 2015. |
| Citation Key | node-29751 |
| Attachment | Size |
|---|---|
| bytes |