Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset отечественной защищённой операционной системы специального назначения
Astra Linux Special Edition. Благодаря
Механизмы операционных систем Astra Linux для контроля безопасности информационных сетейМеханизмы операционных систем
Astra Linux для контроля безопасности информационных сетей
Исследование средств защиты информации Astra Linux СмоленскОперационная система специального назначения
Astra Linux Special Edition (ОС
СН Смоленск