Vyvinutý operačný systém s matematickým dôkazom o svojej bezpečnosti
Diskusia k článku: Vyvinutý operačný systém s matematickým dôkazom o svojej bezpečnosti
Prispievajte do diskusií ako
prihlásený užívateľ.
Komentár, na ktorý odpovedáte:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Re: Zial...
Od: fotograf
|
Pridané:
2009-08-15 09:48:18
Asi tak nejako. Pravdepodobnost vyskytu chyby rastie s mnozstvom kodu, ale nie linearne. Preto bezchybny soft dnes prakticky neexistuje.
|