Информация
Библиотека
![ОСНОВЫ БЕЗОПАСНОСТИ ОПЕРАЦИОННОЙ СИСТЕМЫ ASTRA LINUX SPECIAL EDITION. УПРАВЛЕНИЕ ДОСТУПОМ](/upload/iblock/826/p8csl2djh4r5k0cd2j6wlzx5re67w7ua.png)
ОСНОВЫ БЕЗОПАСНОСТИ ОПЕРАЦИОННОЙ СИСТЕМЫ ASTRA LINUX SPECIAL EDITION. УПРАВЛЕНИЕ ДОСТУПОМ
![Модели безопасности компьютерных систем. Управление доступом и информационными потоками. 3-е изд.](/upload/iblock/33b/jofd46jh0m09qqrkvoiehri7bvagkih6.png)
Модели безопасности компьютерных систем. Управление доступом и информационными потоками. 3-е изд.
![ФОРМИРОВАНИЕ МЕТОДОЛОГИИ РАЗРАБОТКИ БЕЗОПАСНОГО СИСТЕМНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА ПРИМЕРЕ ОПЕРАЦИОННЫХ СИСТЕМ](/upload/iblock/072/w1kemhmisja88yfu7s599hz4g2nj7hhq.png)
ФОРМИРОВАНИЕ МЕТОДОЛОГИИ РАЗРАБОТКИ БЕЗОПАСНОГО СИСТЕМНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА ПРИМЕРЕ ОПЕРАЦИОННЫХ СИСТЕМ
![Моделирование и верификация политик безопасности управления доступом в операционных системах.](/upload/iblock/07b/x3kr9szptczledl0zlrclwaetqi3o9pg.png)
Моделирование и верификация политик безопасности управления доступом в операционных системах.
![Результаты переработки уровней ролевого управления доступом и мандатного контроля целостности формальной модели управления доступом ОС Astra Linux](/upload/iblock/dee/1yar73mqss9doj1fcom0xp6kjlksyoc6.jpg)
Результаты переработки уровней ролевого управления доступом и мандатного контроля целостности формальной модели управления доступом ОС Astra Linux
![Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС](/upload/iblock/d0f/y1ojusjaguqclf0kapoj7r3eu25l8xui.png)
Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС
![Astra Linux. Руководство по национальной операционной системе и совместимым офисным программам.](/upload/iblock/4fa/hazpb2gra5xoohjz44595dxo69zzlft7.png)
Astra Linux. Руководство по национальной операционной системе и совместимым офисным программам.
![Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset](/upload/iblock/f0f/p980au5gwcu5jayuogsj6omyxnvjv5iy.png)
Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset
![Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB](/upload/iblock/f0f/p980au5gwcu5jayuogsj6omyxnvjv5iy.png)
Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB
![О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB](/upload/iblock/632/xkyyc4hkc03ffqsvzrynnzhfpk50p7p1.png)
О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB
![Приёмы по доработке описания модели управления доступом ОССН Astra Linux Special Edition на формализованном языке метода Event-B для обеспечения её автоматизированной верификации с применение](/upload/iblock/dd1/o26vxownibti7njo6w1e87kp6lmo6jc2.png)
Приёмы по доработке описания модели управления доступом ОССН Astra Linux Special Edition на формализованном языке метода Event-B для обеспечения её автоматизированной верификации с применение
![Подходы в обеспечении защиты информации при использовании Astra Linux Special Edition во встроенном оборудовании](/upload/iblock/35a/9kyiwrrzrcsdxo6w64tels0cp629rsvb.png)
Подходы в обеспечении защиты информации при использовании Astra Linux Special Edition во встроенном оборудовании
![Применение подтипов и тотальных функций формального метода Event-B для описания и верификации МРОСЛ ДП-модели](/upload/iblock/3a9/ug4gt4nlvaryu9yl8oifsv3w8bin93na.png)
Применение подтипов и тотальных функций формального метода Event-B для описания и верификации МРОСЛ ДП-модели
![Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System](/upload/iblock/1cb/92h1mjeaip4ueij5ds8lp32sagycfq8f.png)
Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System
![Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы](/upload/iblock/1f0/4is8xhkaaab161an0mezqvw0cex61g4k.png)
Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы
![Безопасность операционной системы специального назначения Astra Linux Special Edition](/upload/iblock/214/alrq4w41sjdvgbkq92si9hvgu9kke81j.webp)
Безопасность операционной системы специального назначения Astra Linux Special Edition
![О моделировании в рамках МРОСЛ ДП-модели мандатных контроля целостности и управления доступом в СУБД PostgreSQL](/upload/iblock/0d3/vr99hvpv95z83uayxbuq1a196ek9flc5.png)
О моделировании в рамках МРОСЛ ДП-модели мандатных контроля целостности и управления доступом в СУБД PostgreSQL
![Уровень запрещающих ролей иерархического представления МРОСЛ ДП-модели](/upload/iblock/995/1ekn2v7xg2t2plqtcp9s8ve49axni9c4.png)
Уровень запрещающих ролей иерархического представления МРОСЛ ДП-модели
![Подходы к моделированию управления доступом в СУБД PostgreSQL в рамках МРОСЛ ДП-модели](/upload/iblock/a9d/ccxdi2zowrwtyahzgdipougrripk391j.png)
Подходы к моделированию управления доступом в СУБД PostgreSQL в рамках МРОСЛ ДП-модели
![О проблеме представления формальной модели политики безопасности операционных систем](/upload/iblock/ac7/h11g82xrucay0vmdnhhl4odsm5ucoqwp.png)
О проблеме представления формальной модели политики безопасности операционных систем
![Реализация невырожденной решётки уровней целостности в рамках иерархического представления МРОСЛ ДП-модели](/upload/iblock/a9d/ccxdi2zowrwtyahzgdipougrripk391j.png)
Реализация невырожденной решётки уровней целостности в рамках иерархического представления МРОСЛ ДП-модели
![Using Refinement in Formal Development of OS Security Model](/upload/iblock/4d6/re9515x9l39i05hw4rladrfrp03ja53r.png)
Using Refinement in Formal Development of OS Security Model
![Правила преобразования состояний системы в рамках ДП-модели управления доступом в компьютерных сетях, построенных на основе ОС семейства Linux](/upload/iblock/995/1ekn2v7xg2t2plqtcp9s8ve49axni9c4.png)
Правила преобразования состояний системы в рамках ДП-модели управления доступом в компьютерных сетях, построенных на основе ОС семейства Linux
![О результатах формирования иерархического представления МРОСЛ ДП-модели](/upload/iblock/a9d/ccxdi2zowrwtyahzgdipougrripk391j.png)
О результатах формирования иерархического представления МРОСЛ ДП-модели
![Сравнение способов декомпозиции спецификаций на Event-B](/upload/iblock/bd6/npv5393fs67uczh9w54jljh2y4ea1w3k.png)
Сравнение способов декомпозиции спецификаций на Event-B
![Русский бронированный Debian. Как устроена новая модель управления доступом в Astra Linux SE](/upload/iblock/243/wo445t3f7gg7rw3uww25xdlld6mgnvmi.png)
Русский бронированный Debian. Как устроена новая модель управления доступом в Astra Linux SE
![О представлении МРОСЛ ДП-модели в формализованной нотации Event-B](/upload/iblock/73a/khbvl8n4odx7fhjjpn6grdigjtrqsc6n.png)
О представлении МРОСЛ ДП-модели в формализованной нотации Event-B
![Защита графических подсистем рабочих станций Linux на основе виртуализации и мандатного контроля целостности](/upload/iblock/73a/khbvl8n4odx7fhjjpn6grdigjtrqsc6n.png)
Защита графических подсистем рабочих станций Linux на основе виртуализации и мандатного контроля целостности
![Formal Verification of OS Security Model with Alloy and Event-B](/upload/iblock/a2d/cp77xo7z63ugz1hoajeduwzg522ty1cq.png)
Formal Verification of OS Security Model with Alloy and Event-B
![Основные элементы мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в СУБД PostgreSQL ОС специального назначения Astra Linux Special Edition](/upload/iblock/995/1ekn2v7xg2t2plqtcp9s8ve49axni9c4.png)
Основные элементы мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в СУБД PostgreSQL ОС специального назначения Astra Linux Special Edition
![Администрирование системы в рамках мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в ОС семейства Linux](/upload/iblock/995/1ekn2v7xg2t2plqtcp9s8ve49axni9c4.png)
Администрирование системы в рамках мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в ОС семейства Linux