Verifying Rule Enforcement in Software Defined Networks with REV

Author:

Peng Zhang ,

Hui Wu

Dan Zhang

and

Qi Li

IEEE/ACM Transactions on Networking

People

Peng Zhang

Professor

Abstract

Resources

PDF Web

BibTeX

@article{zhang2020verifying,
  title={Verifying rule enforcement in software defined networks with REV},
  author={Zhang, Peng and Wu, Hui and Zhang, Dan and Li, Qi},
  journal={IEEE/ACM Transactions on Networking},
  volume={28},
  number={2},
  pages={917--929},
  year={2020},
  publisher={IEEE}
}