[isabelle] Firewall support: BSD pf

[diekmann]

Wouldn't it be great if this tool also supports the BSD pf firewall?
We need:

• a BSD pf semantics
• a parser
• a translation to a simplified firewall model so we can reuse our algorithms

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.

[larsrh]

A Bachelor's student at TUM is working on this.