Je hebt een klacht over de onderstaande posting:
Ik zie heel vaak dat er lekken gevonden worden in VPN software of netwerk apparatuur. Dat is het soort software met de meeste risico's, dus ik zou dan ook juist verwachten dat de veiligheid goed geregeld is? Daarbij denk ik dan aan zoiets als formele verificatie: https://en.wikipedia.org/wiki/Formal_verification
Beschrijf je klacht (Optioneel):