[isabelle] Let's go open source: Convert proprietary {Cisco, Juniper, Check Point, ...} to iptables #43
Description
We want a fully verified converter that translates rulestes from your proprietary firewall to an open source firewall. This needs:
- A semantics for the proprietary firewall
- A verified translation algorithm
- Integration with our haskell tool
Pull requests welcome :-)
Interested? I am happy to help. Send me an email: http://www.net.in.tum.de/de/mitarbeiter/diekmann/
This feature can also be implemented as part of a thesis or interdisciplinary project at Technische Universität München.