USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
VeriFlow: Verifying Network-Wide Invariants in Real Time
Submitted by assistant on January 8, 2014 - 4:18 pm
| Title | VeriFlow: Verifying Network-Wide Invariants in Real Time |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Khurshid A, Zou X, Zhou W, Caesar M, P. Godfrey B |
| Conference Name | 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13) |
| Date Published | 04/2013 |
| Publisher | USENIX Association |
| Conference Location | Lombard, IL |
| ISBN Number | 978-1-931971-00-3 |
| URL | https://www.usenix.org/conference/nsdi13/technical-sessions/presentation/khurshid |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX