| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 32.972.11н6 - М 744
Моделирование и верификация политик безопасности управления доступом в операционных системах / П. Н. Девянин, Д. В. Ефремов, В. В. Кулямин [и др.]. — Москва : Горячая линия - Телеком, 2019. — 214 с. : ил. — ISBN 978-5-9912-0787-4. — Текст : непосредственный.
Экземпляры: Всего: 2, из них: аб.-2 в наличии 2
Подробнее
Авторы: Девянин П. Н., Ефремов Д. В., Кулямин В. В., Петренко А. К., Хорошилов А. В., Щепетков И. В.
Отраслевые рубрики: вычислительная техника, информатика, информационная безопасность, программное обеспечение, программное обеспечение компьютеров, системное программное обеспечение
Ключевые слова: Linux, верификация, дедуктивная верификация, динамический мониторинг, мандатная сущностно-ролевая ДП-модель, мандатная сущностно-ролевая модель управления доступом (МРОСЛ), моделирование, операционные системы, политика безопасности, сертификация, средства защиты информации, управление доступом
Индексы ББК: 32.972.11н6
Представления: Формат MARC21