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-16 12:54:39 Ked mas samostatnu jednotku, vedies dokaz voci tomu, ze je korektna ako samostatna jednotka. Ak mas vsak komponenty, ktore su zavisle jedna od druhej, tak musis dokazat, ze su korektne aj v takom spojeni v akom sa budu pouzivat. Ale aj tam sa da dokaz zjednodusit, pretoze nie je nutne verifikovat interne vypocty danej komponenty v celku, ale len komunikaciu s okolim. A ake ine vlastnosti mas na mysli? 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".