A formal framework for verifying inter-firewalls consistency.

Majda Moussa, Hakima Ould-Slimane, Hanifa Boucheneb, Steven Chamberland

Browse the full ISCC paper archive.