Automatic verification of conformance of firewall configurations to security policies

Nihel Ben Youssef, Adel Bouhoula, Florent Jacquemard

Open source

DOI
10.1109/iscc.2009.5202309
Published
2009-07
Container
2009 IEEE Symposium on Computers and Communications
Publisher
IEEE
Open access
unknown

Credibility signals

uncertain Score 64/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.1109/iscc.2009.5202309,
  title = {Automatic verification of conformance of firewall configurations to security policies},
  author = {Nihel Ben Youssef and Adel Bouhoula and Florent Jacquemard},
  year = {2009},
  journal = {2009 IEEE Symposium on Computers and Communications},
  doi = {10.1109/iscc.2009.5202309},
  url = {https://doi.org/10.1109/iscc.2009.5202309}
}

RIS

TY  - JOUR
TI  - Automatic verification of conformance of firewall configurations to security policies
AU  - Nihel Ben Youssef
AU  - Adel Bouhoula
AU  - Florent Jacquemard
PY  - 2009
JO  - 2009 IEEE Symposium on Computers and Communications
DO  - 10.1109/iscc.2009.5202309
UR  - https://doi.org/10.1109/iscc.2009.5202309
ER  - 

APA

Youssef, N. B., Bouhoula, A., & Jacquemard, F. (2009). Automatic verification of conformance of firewall configurations to security policies. 2009 IEEE Symposium on Computers and Communications. https://doi.org/10.1109/iscc.2009.5202309

Source records