Моделирование и верификация политик безопасности управления доступом в операционных системах / Девянин Петр Николаевич, Ефремов Петр Николаевич, Кулямин Виктор Вячеславович и др. - Москва: Горячая линия - Телеком, 2019. - 214 с.: ил. - ISBN 978-5-9912-0787-4.Отраслевые рубрики: вычислительная техника, информатика, информационная безопасность, программное обеспечение, программное обеспечение компьютеров, системное программное обеспечение Ключевые слова: Linux, верификация, дедуктивная верификация, динамический мониторинг, мандатная сущностно-ролевая ДП-модель, мандатная сущностно-ролевая модель управления доступом (МРОСЛ), моделирование, операционные системы, политика безопасности, сертификация, средства защиты информации, управление доступом
| Сигла хранения | Всего экз. | В наличии | Заказано | | абонемент | 2 | 2 | 0 |
| 
Блог Мишки Б.
