Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset отечественной защищённой операционной системы специального назначения
Astra Linux Special Edition. Благодаря
Исследование средств защиты информации Astra Linux СмоленскОперационная система специального назначения
Astra Linux Special Edition (ОС
СН Смоленск
Защищенная операционная система Bastion на базе ядра Linux качестве основы используется
система контроля доступа LPS,
ориентированная на ядро
Linux и
Операционная система Android. Android V 8.1Android –
операционная система для смартфонов, планшетов, электронных книг, цифровых проигрывателей