Towards Rule Enforcement Verification for Software Defined Networks
Author:
Proceedings of IEEE INFOCOM'17
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}
}