From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:35162) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fzLgp-0005KI-I8 for guix-patches@gnu.org; Mon, 10 Sep 2018 08:53:19 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fzLgd-00027R-Tn for guix-patches@gnu.org; Mon, 10 Sep 2018 08:53:11 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:46835) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fzLgd-00026w-M0 for guix-patches@gnu.org; Mon, 10 Sep 2018 08:53:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1fzLgc-0008Hi-9g for guix-patches@gnu.org; Mon, 10 Sep 2018 08:53:03 -0400 Subject: [bug#32465] Add iptables service Resent-Message-ID: From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <87lg8hbe0c.fsf@gnu.org> <0dd58c95062371f585a17899387bfdeb@lepiller.eu> Date: Mon, 10 Sep 2018 14:51:58 +0200 In-Reply-To: (Arun Isaac's message of "Wed, 05 Sep 2018 15:10:24 +0530") Message-ID: <87y3c9frbl.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Arun Isaac Cc: 32465@debbugs.gnu.org Hello, Arun Isaac skribis: >> it's not directly an answer to arun's patch (it is great), but I=20 >> recently came accross firemason=20 >> (http://www.cs.yale.edu/homes/zhai-ennan/firemason.pdf and=20 >> https://github.com/BillHallahan/FireMason) and I thought we could=20 >> implement something similar. > > This sounds interesting. I'll read about it, and if I can, try to > implement something similar for Guix. Agreed, it looks nice. >> Of course, we should provide a mechanism to load files as a fallback, in= =20 >> which case additional rules from services should be ignored. > > Yes, I think this iptables service should exist independently as a > fallback. So, I'll finish and push these services before studying > firemason. The nice thing is that we could detect conflicting iptables rules statically if we wanted to: =E2=80=98guix system reconfigure=E2=80=99 would= proceed if and only if there are no conflicting rules. I don=E2=80=99t know how diffi= cult and how annoying that could be, but it might be worth considering (as future work=E2=80=A6). Thanks, Ludo=E2=80=99.