On Thu, 19 May 2011 17:56:12 -0700, geremy condra wrote: > TL;DR version: large systems have indeed been verified for their > security properties.
How confident are we that the verification software is sufficiently bug- free that we should trust their results? How confident are we that the verification software tests every possible vulnerability, as opposed to merely every imaginable one? -- Steven -- http://mail.python.org/mailman/listinfo/python-list