The size and complexity of modern computer networks are progressively increasing, as a
consequence of novel architectural paradigms such as the Internet of Things and network …

Policy-based management of computer systems, computer networks and devices is a critical
technology especially for present and future systems characterized by large-scale systems …

Software-defined networking (SDN) is an innovative network architecture that splits the
control and management planes from the data plane. It helps in simplifying network …

In-network Access Control List (ACL) is an important technique in ensuring network-wide
connectivity and security. As cloud-scale WANs today constantly evolve in size and …

Intrusion prevention systems have long been the first layer of defense against malicious
attacks. Most sensitive systems employ instances of them (eg, Firewalls) to secure the …

Networks are hard to maintain. When the physical network changes or when policies, most
importantly security properties change, it is hard to change the network while maintaining all …

Software-defined networking (SDN) utilizes a centralized controller to distribute packet
processing rules to network switches. However, rules are often generated by the …

Firewall configuration is an important activity for any modern day business. It is particularly a
critical task for the supervisory control and data acquisition (SCADA) networks that control …

The continuous innovation in network softwarization has enabled higher dynamism and
responsiveness in creating and deploying complex network configurations. Following this …

A firewall is the core of a well defined network security policy. This paper presents an
automata-based method to study firewall security policies. We first propose a procedure that …