TY  - RPRT
TI  - Distributed firewalls and IDS interoperability checking based on a formal approach
AU  - Kamel Karoui
AU  - Fakher Ben Ftima
AU  - Henda Ben Ghezala
PY  - 2013
DO  - 10.5121/ijcnc.2013.5508
UR  - https://arxiv.org/abs/1310.2861
ID  - 1310.2861
ER  -