Brew: A Security Policy Analysis Framework for Distributed SDN-Based Cloud Environments. - Sandeep Pisharody; Janakarajan Natarajan; Ankur Chowdhary; Abdullah Alshalan; Dijiang Huang (IEEE Trans. Dependable Secur. Comput., 2019)