Meg kell tenni a racionális biztonsági intézkedéseket, mérlegelve, hogy hogy viszonyulnak egymáshoz a még nagyobb biztonság költségei és a veszélyek.
Ó, hát ne beszélj zambojimiznek ilyen bűvös dolgokról, mint a kockázatelemzés, megzavarod az álomvilágát... :)
mekkora költségek/idő kéne egy a mostani szoftverekhez hasonló funkciókkal bíró, szinte biztosan biztonságos szoftver kifejesztéséhez? Néhány 10-szeres különbséget saccolok, de nem értek hozzá
Eléggé alábecsülöd. Indulj ki abból, hogy hány évnyi kutatás eredménye az a mindössze 7500 sorból álló mikrokernel, ami állítólag formális módszerekkel igazolt, és a hypeon kívül továbbra se ér semmit, mert nincsenek hozzá formális módszerekkel igazolt driverek, se felhasználói programok és "általános célra" még annyira se használható, mint egy Hurd...