Подход здравый, и, наверное, единственно верный, хорошо, что такие идеи озвучиваются уже сейчас. Но задачи безошибочного программирования - это очень долго и дорого, для проектов подобного масштаба - скорее всего десятилетия работы даже при приоритетном гос.финансировании. Даже если будет создан международный консорциум с привлечением ведущих институтов. Задача на не самую ближнюю перспективу, но всё-таки, хорошо, что идея озвучена уже сейчас и достаточно авторитетным специалистом в данном вопросе. Другая проблема - аппаратные закладки, например скрытая аппаратная виртуализация с возможностью внешнего доступа к системе. С массово выпускаемыми платформами никаких гарантий безопасности ни при какой ОС не будет. Здесь безопасная ОС никак не поможет, скорее наоборот, лишь навредит, создав иллюзию безопасности в скомпрометированной среде. Военным чуть проще - российские закажут машины на E2K, китайские - на godson, но большинству пользователей данная опция недоступна
|