Linux. Формальная верификация компонентов подсистемы безопасности ОС Astra Linux. Доказательство свойств формальной модели... защищенных операционных систем и платформ виртуализации. Разработка флагманского продукта, ОС семейства Astra Linux, ведется...