Towards Rule Enforcement Verification for Software Defined Networks

Author:  
Proceedings of IEEE INFOCOM'17

People

Peng Zhang
Professor

Abstract

Resources

BibTeX

@inproceedings{zhang2017towards,
  title={Towards rule enforcement verification for software defined networks},
  author={Zhang, Peng},
  booktitle={IEEE INFOCOM 2017-IEEE Conference on Computer Communications},
  pages={1--9},
  year={2017},
  organization={IEEE}
}