Mignis: A Semantic Based Tool for Firewall Configuration. - Pedro Adão; Claudio Bozzato; G. Dei Rossi; Riccardo Focardi; Flaminia L. Luccio (CSF, 2014)