Информация
Библиотека
ОСНОВЫ БЕЗОПАСНОСТИ ОПЕРАЦИОННОЙ СИСТЕМЫ ASTRA LINUX SPECIAL EDITION. УПРАВЛЕНИЕ ДОСТУПОМ
Модели безопасности компьютерных систем. Управление доступом и информационными потоками. 3-е изд.
ФОРМИРОВАНИЕ МЕТОДОЛОГИИ РАЗРАБОТКИ БЕЗОПАСНОГО СИСТЕМНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА ПРИМЕРЕ ОПЕРАЦИОННЫХ СИСТЕМ
Моделирование и верификация политик безопасности управления доступом в операционных системах.
Результаты переработки уровней ролевого управления доступом и мандатного контроля целостности формальной модели управления доступом ОС Astra Linux
Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС
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
Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы
Безопасность операционной системы специального назначения Astra Linux Special Edition
О моделировании в рамках МРОСЛ ДП-модели мандатных контроля целостности и управления доступом в СУБД 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
Основные элементы мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в СУБД PostgreSQL ОС специального назначения Astra Linux Special Edition
Администрирование системы в рамках мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в ОС семейства Linux
