@article{pisharody2017brew,
  title={Brew: A security policy analysis framework for distributed sdn-based cloud environments},
  author={Pisharody, Sandeep and Natarajan, Janakarajan and Chowdhary, Ankur and Alshalan, Abdullah and Huang, Dijiang},
  journal={IEEE transactions on dependable and secure computing},
  volume={16},
  number={6},
  pages={1011--1025},
  year={2017},
  publisher={IEEE}
}