---

I forbindelse med et studieprojekt på Aalborg Universitet, skal jeg og en
række andre udvikle et programmeringssprog til specifikation af firewalls.
Dette skal ske mhp. at opnå firewall specifikationer, som bla. lettere kan
verificeres og optimeres. Samtidig skal sproget introducere en række
abstraktioner, således filter specifikationer bliver lettere både at læse
og skrive.

I den forbindelse kunne jeg tænke mig at høre om folks erfaringer med
vedligeholdelse af nuværende (store) firewall scripts (IPtables, cisco mm.)
med mange hundrede linjer. Hvilke problematikker løber man typisk ind i,
når filtrene bliver store og hvilke elementer i et specifikationssprog
kunne man ønske sig som sysadmin mhp. at gøre implementationen af firewalls
lettere.

--
mvh Jakob Kirkegaard