Информация
Библиотека
Основы безопасности операционной системы Astra Linux Special Edition. Управление доступом
Модели безопасности компьютерных систем. Управление доступом и информационными потоками. 3-е изд.
Администрирование Astra Linux
Моделирование и верификация политик безопасности управления доступом в операционных системах
Astra Linux. Руководство по национальной операционной системе и совместимым офисным программам.
Безопасность операционной системы специального назначения Astra Linux Special Edition
Тестирование подсистемы безопасности ОС Astra Linux на основе формализованного описания модели управления доступом
Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом
Проектирование и развитие механизма мандатного контроля целостности в операционной системе Astra Linux
Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы
О разработке проекта национального стандарта ГОСТ Р «Защита информации. Формальная модель управления доступом. Часть 3. Рекомендации по разработке»
Платформа автоматизации фаззинг-тестирования компонентов операционной системы
Результаты переработки уровней ролевого управления доступом и мандатного контроля целостности формальной модели управления доступом ОС Astra Linux
Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС
Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset
Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB
Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем
О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB
Приёмы по доработке описания модели управления доступом ОССН Astra Linux Special Edition на формализованном языке метода Event-B для обеспечения её автоматизированной верификации с применение
Подходы в обеспечении защиты информации при использовании Astra Linux Special Edition во встроенном оборудовании
Применение подтипов и тотальных функций формального метода Event-B для описания и верификации МРОСЛ ДП-модели
Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System
Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы
О моделировании в рамках МРОСЛ ДП-модели мандатных контроля целостности и управления доступом в СУБД PostgreSQL
Уровень запрещающих ролей иерархического представления МРОСЛ ДП-модели
Подходы к моделированию управления доступом в СУБД PostgreSQL в рамках МРОСЛ ДП-модели
О проблеме представления формальной модели политики безопасности операционных систем
Реализация невырожденной решётки уровней целостности в рамках иерархического представления МРОСЛ ДП-модели
Using Refinement in Formal Development of OS Security Model
Правила преобразования состояний системы в рамках ДП-модели управления доступом в компьютерных сетях, построенных на основе ОС семейства Linux
О результатах формирования иерархического представления МРОСЛ ДП-модели
Сравнение способов декомпозиции спецификаций на Event-B
Русский бронированный Debian. Как устроена новая модель управления доступом в Astra Linux SE
О представлении МРОСЛ ДП-модели в формализованной нотации Event-B
Защита графических подсистем рабочих станций Linux на основе виртуализации и мандатного контроля целостности
Formal Verification of OS Security Model with Alloy and Event-B
Администрирование системы в рамках мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в ОС семейства Linux
