![](/img/cover-not-exists.png)
[IEEE 2009 IEEE Symposium on Computers and Communications (ISCC) - Sousse, Tunisia (2009.07.5-2009.07.8)] 2009 IEEE Symposium on Computers and Communications - Automatic verification of conformance of firewall configurations to security policies
Ben Youssef, Nihel, Bouhoula, Adel, Jacquemard, FlorentYear:
2009
Language:
english
DOI:
10.1109/ISCC.2009.5202309
File:
PDF, 523 KB
english, 2009