Сейчас много говорится о импотозамещении, особенно в наукоемких технологиях. С 2020-го меры государственной поддержки ИТ-отрасли распространяются на операционные системы. Однако работать над ними начали намного раньше. Например, операционная система Astra Linux, разработанная АО «НПО РусБИТех», это первая отечественная os, допущенной в России к гостайне высшей секретности (в 2019 году). Самым сложным при сертификации на такой высокий класс защиты является процесс выполнения требований доверия, включающий в себя разработку формальной модели политики безопасности, статической и динамической верификации программного кода. Также требует усилий разработка ряда механизмов защиты таких, как контроль целостности (мандатный, регламентный),…
Подробнее