neprihlásený Nedeľa, 24. januára 2021, dnes má meniny Timotej
Zraniteľnosť OpenSSL Heartbleed bola zneužívaná minimálne od novembra


Diskusia k článku: Zraniteľnosť OpenSSL Heartbleed bola zneužívaná minimálne od novembra

Prispievajte do diskusií ako prihlásený užívateľ.

Komentár, na ktorý odpovedáte:
                               
 

"Ci spravne pochopil" sa principialne neda otestovat. Da sa otestovat, ci tam nie su pouzivane nejake explicitne zakazane postupy - pri Turingovsky uplnych programovacich jazykoch sa dost neda otestovat, ci to bude spravne fungovat.

Nech ideme lubovolne hlboko, mozeme sa dostat k formalnej verifikacii, ale tam je zase ten problem, ze velmi formalny zapis je v podstate uz len ine naprogramovanie programu, kde sa daju rovnako spravit chyby.

Meno:


Titulok:


Text:


Prihláste sa a povoľte si emailové notifikácie na odpovede na Váš príspevok.

Overovací text:



Pre overenie, že komentár sa nepridáva automatizovanými prostriedkami, prosím prepíšte text, ktorý vidíte na obrázku. Písmená musíte zadávať rovnako ako na obrázku veľké. Pokiaľ text neviete prečítať, kliknite prosím na tlačidlo "Obnoviť obrázok". V texte sa používajú iba znaky "BCDJKMPRSVWXY1234589".