@article {Khoumsi201851,
	title = {A formal basis for the design and analysis of firewall security policies},
	journal = {Journal of King Saud University - Computer and Information Sciences},
	volume = {30},
	number = {1},
	year = {2018},
	pages = {51-66},
	doi = {10.1016/j.jksuci.2016.11.008},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85008234846\&doi=10.1016\%2fj.jksuci.2016.11.008\&partnerID=40\&md5=07a25a70cda473802a697eff8dbb8dec},
	author = {Khoumsi, A. and Erradi, M. and Krombi, W.}
}
