1. 2017. The IPFW Firewall. https://www.freebsd.org/doc/handbook/firewalls-ipfw.html.
2. 2019. F2F tool. https://github.com/lceragioli/F2F.
3. 2019. Netfilter. https://www.netfilter.org/.
4. 2019. Packet Filter (PF). https://www.openbsd.org/faq/pf/.
5. Pedro Adão, Claudio Bozzato, Gianluca Dei Rossi, Riccardo Focardi, and Flaminia L. Luccio. 2014. Mignis: A Semantic Based Tool for Firewall Con-figuration. In proc. of the 27th IEEE CSF. 351--365.