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: x x l l
|
Pridané:
2009-08-15 23:04:32
OpenBSD nepouziva mikrokernel
|