RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Смирнов Александр Игоревич
Публикации в базе данных Math-Net.Ru
Тестирование подсистемы безопасности ОС Astra Linux на основе формализованного описания модели управления доступом
Труды ИСП РАН
,
37
:6(2) (2025),
21–36
©
МИАН
, 2026
