A formal approach for network security policy validation

Mario Casu, Antonio Lioy, and Riccardo Sisto (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