Verifying and Enforcing Network Paths with ICING. (2011)

by Jad Naous, Michael Walfish, Antonio Nicolosi, David Mazires, Michael Miller, Arun Seehra
Venue:In Proceedings of the ACM CoNEXT Conference,