Материалов:
1 082 141

Репозиториев:
30

Авторов:
761 409

По вашему запросу найдено документов: 1275

Страница 1 из 128

Развертывание информационно-справочного портала организации на отечественном программном обеспечении
Тесля, Н. Б., Ашимов, Д. Ж.
содержимым сайтов на российской операционной системе Astra Linux в соответствии с требованиями по
Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset
Кокорин, Артем Олегович, Тиевский, Станислав Дмитриевич, Девянин, Петр Николаевич
отечественной защищённой операционной системы специального назначения Astra Linux Special Edition. Благодаря
Внедрение в учебный процесс операционной системы Astra Linux, как эффективное решение программы импортозамещения
Володин Сергей Михайлович
Володин Сергей Михайлович.
Внедрение в учебный процесс операционной системы Astra Linux, как
Механизмы операционных систем Astra Linux для контроля безопасности информационных сетей
Павлович, С. И.
Механизмы операционных систем Astra Linux для контроля безопасности информационных сетей
Исследование средств защиты информации Astra Linux Смоленск
Сляднев, В. С., Белов, Д. Е., Сляднева, Е. А.
Операционная система специального назначения Astra Linux Special Edition (ОС СН Смоленск
Приемы описания модели управления доступом OCCH Astra Linux Special Edition на формализованном языке метода Event-B для обеспечения её верификации инструментами Rodin и ProB
Девянин, Петр Николаевич, Леонова, Мария Александровна
операционной системы специального назначения Astra Linux Special Edition (МРОСЛ ДП-модели) в формализованной
О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB
Девянин, Петр Николаевич, Леонова, Мария Александровна
Astra Linux Special Edition, операционная система специального назначения
О поведенческой аналитике для системы защиты от целенаправленных атак и ее применение для операционных систем семейства Astra Linux
Лазарев, С. А., Рубцов, К. А.
целенаправленных атак и применение ее работы на операционных системах семейства Astra Linux
Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB
Леонова, Мария Александровна, Девянин, Петр Николаевич
В результате перевода описания формальной модели управления доступом промышленной ОССН Astra Linux
Linux в системе образования
Сухоцкий, А. Ю.
Linux в системе образования

Страница 1 из 128

Фасеты

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core