Verifying Rule Enforcement in Software Defined Networks with REV
Author:
IEEE/ACM Transactions on Networking
Abstract
Resources
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}
}