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:

Zial... Od: x x l l | Pridané: 2009-08-15 08:42:47 Zial, od jednoducheho mikrokernelu k nasadeniu v praxi, je velmi dlha plejada kniznic, poskytujuca neprieberne moznosti, vyskytu chyb:) Nechcem nijak znizovat ich vyskumnu pracu, automaticka analyza sw je vskutku zasluzna vec, ale zrovna v pripade mikrokernelu to s tou (ne)bezpecnostou a chybovostou az tak nehori. Vsak mk su od podstaty navrhnute tak, aby boli male a aby poskytovali iba zakladnu funkcionalitu a abstrakciu nad HW. Mnozstvo kodu v mikrokerneli byva na takej urovni, ze sa da skontrolovat aj manualne... Odpovedať

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".