Majda Moussa, Hakima Ould-Slimane, Hanifa Boucheneb, Steven Chamberland. A formal framework for verifying inter-firewalls consistency. In IEEE Symposium on Computers and Communications, ISCC 2014, Funchal, Madeira, Portugal, June 23-26, 2014. pages 1-7, IEEE, 2014. [doi]
Abstract is missing.