@INPROCEEDINGS {15077, author={P. Adão and CB Bozzato and GDR Dei Rossi and RF Focardi and FLL Luccio}, doi={10.1109/CSF.2014.32}, booktitle={IEEE Computer Security Foundations Workshop - CSFW}, title={Mignis: A Semantic Based Tool for Firewall Configuration}, year={2014}, month={July}, volume={}, pages={351-365} }