| Поиск по каталогу |
|
(строгое соответствие)
|
- Профессиональная
- Научно-популярная
- Художественная
- Публицистика
- Детская
- Искусство
- Хобби, семья, дом
- Спорт
- Путеводители
- Блокноты, тетради, открытки
Моделирование и верификация политик безопасности управления доступом в операционных системах
В наличии
| Местонахождение: Москва | Состояние экземпляра: новый |
Бумажная
версия
версия
Автор: Девянин П.Н., Ефремов Д.В., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В.
ISBN: 978-5-9912-0787-4
Год издания: 2024
Формат книги: 60×90/16 (145×215 мм)
Количество страниц: 214
Издательство: М.: Горячая линия – Телеком
Вид издания: Монография
Цена: 918 руб.
Положить в корзину
Позиции в рубрикаторе
Отрасли знаний:Код товара: 214917
| Способы доставки в город Москва * комплектация (срок до отгрузки) не более 2 рабочих дней | Возможность оплаты при получении заказа |
| Самовывоз из Москвы (собственные пункты самовывоза) | Нет, только предоплата |
| Самовывоз из города Москва (пункты самовывоза партнёра CDEK) | Есть, наличными и банковской картой |
| Курьерская доставка CDEK из города Москва | Есть, наличными и банковской картой |
| Доставка Почтой России из города Москва | Есть, наличными |
| Экспресс-доставка EMS из города Москва | Нет, только предоплата |
Аннотация: Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы специального назначения Astra Linux Special Edition. Этот процесс направлен на получение адекватной оценки характеристик защищенности и безопасности операционных систем и достижение высокого уровня доверия к полученной оценке. Помимо этого, монография знакомит читателя с современными технологиями и инструментами моделирования и верификации, используемыми в подобных процессах. Представленный процесс направлен на обеспечение выполнения требований ГОСТ Р ИСО/МЭК 15408 «Информационная технология. Методы и средства обеспечения безопасности. Критерии оценки безопасности информационных технологий» и профилей защиты операционных систем общего назначения (типа «А») третьего и второго классов защиты.
Для специалистов в области защиты информации, преподавателей, аспирантов; будет полезна студентам, обучающимся по направлениям подготовки и специальностям УГНПС «Информационная безопасность».
Для специалистов в области защиты информации, преподавателей, аспирантов; будет полезна студентам, обучающимся по направлениям подготовки и специальностям УГНПС «Информационная безопасность».