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: still | Pridané: 2009-08-15 10:47:05 Prave rozdiel medzi mikrokernelom a monolitickym kernelom je v tom, ze je maly, preto aj matematicky dokaz korektnosti bude "maly" (velkost dokazu exponencialne vzrasta). Vsetko ostatne su samostatne nezavisle moduly, ktore sa budu verifikovat samostatne. Takze je mozne overit vsetky sucasti samostatne a potom vyhlasit celok za korektny. Na mnozstve kodu nezalezi, aj v parriadkovom kode mozes spravit chybu, ktoru si manualnou verifikaciou nevsimnes ;) 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".