Search results

[Haskell][Isabelle] Improving performance

enhancement

help wanted

Status: Open.

#105 In diekmann/Iptables_Semantics;

· diekmann opened on Jun 1, 2016

Parsing actions ULOG and NFLOG

Status: Open.

#94 In diekmann/Iptables_Semantics;

· diekmann opened on Apr 30, 2016

[Isabelle + Haskell] Reasonable error messages

enhancement

Status: Open.

#75 In diekmann/Iptables_Semantics;

· diekmann opened on Apr 5, 2016

Transforming a stateful firewall ruleset into a stateless ruleset.

enhancement

help wanted

Status: Open.

#74 In diekmann/Iptables_Semantics;

· diekmann opened on Apr 4, 2016

[isabelle] Firewall best practices

enhancement

help wanted

Status: Open.

#54 In diekmann/Iptables_Semantics;

· diekmann opened on Dec 21, 2015

[isabelle] Access control summary

enhancement

help wanted

Status: Open.

#52 In diekmann/Iptables_Semantics;

· diekmann opened on Dec 16, 2015

[isabelle] nftables semantics

enhancement

Status: Open.

#44 In diekmann/Iptables_Semantics;

· diekmann opened on Nov 29, 2015

[isabelle] Let's go open source: Convert proprietary {Cisco, Juniper, Check Point, ...} to iptables

enhancement

help wanted

Status: Open.

#43 In diekmann/Iptables_Semantics;

· diekmann opened on Nov 29, 2015

[haskell] Feature: visualization of service matrix output.

enhancement

help wanted

Status: Open.

#41 In diekmann/Iptables_Semantics;

· diekmann opened on Nov 29, 2015

[isabelle] Feature: Packet modification

enhancement

help wanted

Status: Open.

#40 In diekmann/Iptables_Semantics;

· diekmann opened on Nov 29, 2015

[isabelle] Firewall support: BSD pf

enhancement

help wanted

Status: Open.

#39 In diekmann/Iptables_Semantics;

· diekmann opened on Nov 29, 2015