首页    期刊浏览 2026年01月03日 星期六
登录注册

文章基本信息

  • 标题:Distributed Firewalls and IDS Interoperability Checking Based on A Formal Approach
  • 本地全文:下载
  • 作者:Kamel Karoui ; Fakher Ben Ftima ; Henda Ben Ghezala
  • 期刊名称:International Journal of Computer Networks & Communications
  • 印刷版ISSN:0975-2293
  • 电子版ISSN:0974-9322
  • 出版年度:2013
  • 卷号:5
  • 期号:5
  • DOI:10.5121/ijcnc.2013.550895
  • 出版社:Academy & Industry Research Collaboration Center (AIRCC)
  • 摘要:To supervise and guarantee a network security, the administrator uses different security components, such as firewalls, IDS and IPS. For a perfect interoperability between these components, they must be configured properly to avoid misconfiguration between them. Nevertheless, the existence of a set of anomalies between filtering rules and alerting rules, particularly in distributed multi-component architectures is very likely to degrade the network security. The main objective of this paper is to check if a set of security components are interoperable. A case study using a firewall and an IDS as examples will illustrate the usefulness of our approach
  • 关键词:Security component; relevancy; misconfigurations detection; interoperability cheking; formal correction; ;formal verification; projection; IDS; Firewall
国家哲学社会科学文献中心版权所有