The security configuration of firewalls is a complex task that is commonly performed
manually by network administrators. As a consequence, among the rules composing firewall …

The fundamental goals of security policy are to allow uninterrupted access to the network
resources for authenticated users and to deny access to unauthenticated users. For this …

The configuration of firewalls is highly error prone and automated solution are needed in
order to analyze its correctness. We propose a formal and automatic method for checking …

Nowadays, the security management of packet filtering firewall policies got complicated due
to the evolution of modern computer networks, characterized by growing size and …

Firewalls are key security components in computer networks. They filter network traffics
based on an ordered list of filtering rules. Firewall configurations must be correct and …

A heuristic approximation algorithm that can optimise the order of firewall rules to minimise
packet matching is presented. It has been noted that firewall operators tend to make use of …

Network operators depend on security services with the aim of safeguarding their IT
infrastructure. Various types of network security policies are employed on a global scale and …

Distributed firewalls are often deployed by large enterprises to filter the network traffic.
However, it has been observed that the resulting complex firewall network is highly error …

The signature-based intrusion detection is one of the most commonly used techniques
implemented in modern intrusion detection systems (IDS). Being based on a set of rules, ie …

Security policies play an important role in the security of communication networks. They are
normally defined at a high level of abstraction and implemented in firewalls, which are the …