Library

Модели безопасности компьютерных систем. Управление доступом и информационными потоками. 3-е изд.

Go to

ФОРМИРОВАНИЕ МЕТОДОЛОГИИ РАЗРАБОТКИ БЕЗОПАСНОГО СИСТЕМНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА ПРИМЕРЕ ОПЕРАЦИОННЫХ СИСТЕМ

Go to

Администрирование системы в рамках мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в ОС семейства Linux

Go to

Основные элементы мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в СУБД PostgreSQL ОС специального назначения Astra Linux Special Edition

Go to

Formal Verification of OS Security Model with Alloy and Event-B

Go to

Защита графических подсистем рабочих станций Linux на основе виртуализации и мандатного контроля целостности

Go to

О представлении МРОСЛ ДП-модели в формализованной нотации Event-B

Go to

Русский бронированный Debian. Как устроена новая модель управления доступом в Astra Linux SE

Go to

Сравнение способов декомпозиции спецификаций на Event-B

Go to

О результатах формирования иерархического представления МРОСЛ ДП-модели

Go to

Правила преобразования состояний системы в рамках ДП-модели управления доступом в компьютерных сетях, построенных на основе ОС семейства Linux

Go to

Using Refinement in Formal Development of OS Security Model

Go to

Реализация невырожденной решётки уровней целостности в рамках иерархического представления МРОСЛ ДП-модели

Go to

О проблеме представления формальной модели политики безопасности операционных систем

Go to

Подходы к моделированию управления доступом в СУБД PostgreSQL в рамках МРОСЛ ДП-модели

Go to

Уровень запрещающих ролей иерархического представления МРОСЛ ДП-модели

Go to

О моделировании в рамках МРОСЛ ДП-модели мандатных контроля целостности и управления доступом в СУБД PostgreSQL

Go to

Безопасность операционной системы специального назначения Astra Linux Special Edition

Go to

Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы

Go to

Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System

Go to

Применение подтипов и тотальных функций формального метода Event-B для описания и верификации МРОСЛ ДП-модели

Go to

Подходы в обеспечении защиты информации при использовании Astra Linux Special Edition во встроенном оборудовании

Go to

Приёмы по доработке описания модели управления доступом ОССН Astra Linux Special Edition на формализованном языке метода Event-B для обеспечения её автоматизированной верификации с применение

Go to

О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB

Go to

Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB

Go to

Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset

Go to

Astra Linux. Руководство по национальной операционной системе и совместимым офисным программам.

Go to

Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС

Go to

Моделирование и верификация политик безопасности управления доступом в операционных системах.

Go to

ОСНОВЫ БЕЗОПАСНОСТИ ОПЕРАЦИОННОЙ СИСТЕМЫ ASTRA LINUX SPECIAL EDITION. УПРАВЛЕНИЕ ДОСТУПОМ

Go to

Contact Us