A formal approach for network security policy validation

Fulvio Valenza, Tao Su, Serena Spinoso, Antonio Lioy, Riccardo Sisto, Marco Vallini (2017) A formal approach for network security policy validation, In: JOURNAL OF WIRELESS MOBILE NETWORKS, UBIQUITOUS COMPUTING AND DEPENDABLE APPLICATIONS, pp. 79-100, ISSN: 2093-5374