Brew: A Security Policy Analysis Framework for Distributed SDN-Based Cloud Environments | IEEE Journals & Magazine | IEEE Xplore