История изменений
Исправление Manhunt, (текущая версия) :
ОС для оборонки обязана быть собрана из провереных сорцов прямо в стране под котролем госбезопасности
«Проверка сорцов», чтобы она была нормальная, а не в кавычках — стоит просто безумных трудозатрат. И пока полновесного аудита сорцов не было, «компиляция под контролем госбезопасности» не стоит и выеденного яйца.
Не нужны ли оборонке собранные прямо в стране под контролем госбезопасности микросхемы? Если нет, то так ли ей нужна карманная ОС?
Если без шуток и без того «вперде»
Полагаю, для каких-то mission critical целей реалистичнее всего взять что-то типа l4 verified microkernel, зафиксировать одну-две железки, силами местных студентов написать под них драйвера, умеренно-безмозглую ФС, и необходимый прикладной софт. Аудит как таковой, за исключением собственно реализации l4, не нужен: достаточно будет взять со студентов подписку о невыезде и пообещать казнить вместе со всеми родственниками в случае выявления каких-либо закладок. Я сказал «казнить»? Приравняем закладки к терроризму и назовём это «точечной АТО».
Общепринято также mission critical компьютерные сети физически изолировать от интернетов и физически же отключать usb-порты и прочие дисководы. В этом случае можно ставить на них чуть ли не венду, и риск утечки / выходя из строя будет терпимым. Супер-национальная-ОС при этом оказывается не нужна.
Исправление Manhunt, :
ОС для оборонки обязана быть собрана из провереных сорцов прямо в стране под котролем госбезопасности
«Проверка сорцов», чтобы она была нормальная, а не в кавычках — стоит просто безумных трудозатрат. И пока полновесного аудита сорцов не было, «компиляция под контролем госбезопасности» не стоит и выеденного яйца.
Не нужны ли оборонке собранные прямо в стране под контролем госбезопасности микросхемы? Если нет, то так ли ей нужна карманная ОС?
Если без шуток и без того «вперде»
Полагаю, для каких-то mission critical целей реалистичнее всего взять что-то типа l4 verified microkernel, зафиксировать одну-две железки, силами местных студентов написать под них драйвера, умеренно-безмозглую ФС, и необходимый прикладной софт. Аудит как таковой, за исключением собственно реализации l4, не нужен: достаточно будет взять со студентов подписку о невыезде и пообещать казнить вместе со всеми родственниками в случае выявления каких-либо закладок. Я сказал «казнить»? Приравняем закладки к терроризму и назовём это «точечной АТО».
Общепринято также mission critical компьютерные сеть физически изолировать от интернетов и физически же отключать usb-порты и прочие дисководы. В этом случае можно ставить на них чуть ли не венду, и риск утечки / выходя из строя будет терпимым. Супер-национальная-ОС при этом оказывается не нужна.
Исправление Manhunt, :
ОС для оборонки обязана быть собрана из провереных сорцов прямо в стране под котролем госбезопасности
«Проверка сорцов», чтобы она была нормальная, а не в кавычках — стоит просто безумных трудозатрат. И пока полновесного аудита сорцов не было, «компиляция под контролем госбезопасности» не стоит и выеденного яйца.
Не нужны ли оборонке собранные прямо в стране под котролем госбезопасности микросхемы? Если нет, то так ли ей нужна карманная ОС?
Если без шуток и без того «вперде»
Полагаю, для каких-то mission critical целей реалистичнее всего взять что-то типа l4 verified microkernel, зафиксировать одну-две железки, силами местных студентов написать под них драйвера, умеренно-безмозглую ФС, и необходимый прикладной софт. Аудит как таковой, за исключением собственно реализации l4, не нужен: достаточно будет взять со студентов подписку о невыезде и пообещать казнить вместе со всеми родственниками в случае выявления каких-либо закладок. Я сказал «казнить»? Приравняем закладки к терроризму и назовём это «точечной АТО».
Общепринято также mission critical компьютерные сеть физически изолировать от интернетов и физически же отключать usb-порты и прочие дисководы. В этом случае можно ставить на них чуть ли не венду, и риск утечки / выходя из строя будет терпимым. Супер-национальная-ОС при этом оказывается не нужна.
Исправление Manhunt, :
ОС для оборонки обязана быть собрана из провереных сорцов прямо в стране под котролем госбезопасности
«Проверка сорцов», чтобы она была нормальная, а не в кавычках — стоит просто безумных трудозатрат. И пока полновесного аудита сорцов не было, «компиляция под контролем госбезопасности» не стоит и выеденного яйца.
Не нужны ли оборонке собранные прямо в стране под котролем госбезопасности микросхемы? Если нет, то так ли ей нужна карманная ОС?
Если без шуток и без того «вперде»
Полагаю, для каких-то mission critical целей реалистичнее всего взять что-то типа l4 verified microkernel, зафиксировать одну-две железки, силами местных студентов написать под них драйвера, умеренно-безмозглую ФС, и необходимый прикладной софт. Аудит как таковой, за исключением собственно реализации l4, не нужен: достаточно будет взять со студентов подписку о невыезде и пообещать казнить вместе со всеми родственниками в случае выявления каких-либо закладок. Я сказал «казнить»? Давайте приравняем закладки к терроризму и назовём это «точечной АТО».
Общепринято также mission critical компьютерные сеть физически изолировать от интернетов и физически же отключать usb-порты и прочие дисководы. В этом случае можно ставить на них чуть ли не венду, и риск утечки / выходя из строя будет терпимым. Супер-национальная-ОС при этом оказывается не нужна.
Исходная версия Manhunt, :
ОС для оборонки обязана быть собрана из провереных сорцов прямо в стране под котролем госбезопасности
«Проверка сорцов», чтобы она была нормальная, а не в кавычках — стоит просто безумных трудозатрат. И пока полновесного аудита сорцов не было, «компиляция под контролем госбезопасности» не стоит и выеденного яйца.
И не нужны ли оборонке собранные прямо в стране под котролем госбезопасности микросхемы? Если нет, то так ли ей нужна карманная ОС?
Если без шуток и без того «вперде»
Полагаю, для каких-то mission critical целей реалистичнее всего взять что-то типа l4 verified microkernel, зафиксировать одну-две железки, силами местных студентов написать под них драйвера, умеренно-безмозглую ФС, и необходимый прикладной софт. Аудит как таковой, за исключением собственно реализации l4, не нужен: достаточно будет взять со студентов подписку о невыезде и пообещать казнить вместе со всеми родственниками в случае выявления каких-либо закладок. Я сказал «казнить»? Давайте приравняем закладки к терроризму и назовём это «точечной АТО».
Общепринято также mission critical компьютерные сеть физически изолировать от интернетов и физически же отключать usb-порты и прочие дисководы. В этом случае можно ставить на них чуть ли не венду, и риск утечки / выходя из строя будет терпимым. Супер-национальная-ОС при этом оказывается не нужна.