Je hebt een klacht over de onderstaande posting:
Door Anoniem: Ik zou voor OPNSense gaan..... Of gewoon die hard pf op OpenBSD. Elke software bevat kwetsbaarheden, word er gezegd. Daarom vond ik het interessant om het principe van "formal verification" te ontdekken. En als je het over firewalls hebt, dan is het zelfs mogelijk om dit direct in de hardware in te bakken met FPGA's. (Wel vergt dit speciale kennis, iets dat niet ieder bedrijf of individu beschikbaar heeft.)
Beschrijf je klacht (Optioneel):