3 ms·
Formal verification would not help if the formal or informal design specs called for unauthenticated telnet. It would prove that the entire stack was bullet-pr
by jwiley 11y ago
Formal verification would not help if the formal or informal design specs called for unauthenticated telnet. It would prove that the entire stack was bullet-proof against memory violations and mathematically pure, and that it would with 100% certainty allow untrusted users to access administrative functions.
- voidlogic 11y ago>Formal verification would not help if the formal or informal design specs called for unauthenticated telnet This is why I qualified by question saying such.