Firewalls play an important role in

Firewalls play an important role in the enforcement of access control policies in
contemporary networks. However, firewalls are effective only if they are configured correctly
such that their access control rules are consistent and the firewall indeed implements the
intended access control policy. Unfortunately, due to the potentially large number of rules and
their complex relationships with each other, the task of firewall configuration is notoriously
error-prone, and in practice, firewalls are often misconfigured leaving security holes in the
protection system. In this paper, we address the problem of consistency verification of stateful
firewalls that keep track of already existing connections. For the first sight, the consistency
verification of stateful firewalls appears to be harder than that of stateless firewalls. We show
that, in fact, this is notthe case: consistency verification of stateful firewalls can be reduced to
the stateless case, and hence, they have the same complexity. We also report on our prototype
implemetation of an automated consistency verification tool that can handle stateful firewalls.

Hasil (Bahasa Indonesia) 1:

Firewall memainkan peran penting dalam penegakan kebijakan kontrol akses dalam Jaringan kontemporer. Namun, firewall efektif hanya jika mereka telah dikonfigurasi dengan benar sedemikian rupa sehingga mereka aturan kontrol akses konsisten dan firewall memang mengimplementasikan dimaksudkan kebijakan kontrol akses. Sayangnya, karena banyaknya berpotensi aturan dan mereka hubungan kompleks dengan satu sama lain, tugas Konfigurasi firewall adalah terkenal rawan kesalahan, dan pada prakteknya, firewall yang sering salah dalam mengonfigurasi meninggalkan lubang keamanan pada sistem perlindungan. Dalam tulisan ini, kita mengatasi masalah verifikasi konsistensi stateful firewall yang melacak koneksi yang sudah ada. Untuk pandangan pertama, konsistensi verifikasi stateful firewall tampaknya menjadi lebih keras daripada yang stateless firewall. Kami menunjukkan bahwa, pada kenyataannya, ini adalah kasus notthe: konsistensi verifikasi stateful firewall dapat dikurangi kasus tanpa kewarganegaraan, dan oleh karena itu, mereka memiliki kompleksitas sama. Kami juga melaporkan pada prototipe kami implemetation alat verifikasi otomatis konsistensi yang dapat menangani stateful firewall.