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

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

в наличии

Специальная цена в интернет-магазине: 620,00 руб.
Цена в магазине: 669,00 руб.

В корзину Перейти в корзину

Доставка книг по России от 149 руб.*

Аннотация:

Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы специального назначения Astra Linux Special Edition. Этот процесс направлен на получение адекватной оценки характеристик защищенности и безопасности операционных систем и достижение высокого уровня доверия к полученной оценке. Помимо этого, монография знакомит читателя с современными технологиями и инструментами моделирования и верификации, используемыми в подобных процессах. Представленный процесс направлен на обеспечение выполнения требований ГОСТ Р ИСО/МЭК 15408 «Информационная технология. Методы и средства обеспечения безопасности. Критерии оценки безопасности информационных технологий» и профилей защиты операционных систем общего назначения (типа «А») третьего и второго классов защиты. Для специалистов в области защиты информации, преподавателей, аспирантов; будет полезна студентам, обучающимся по направлениям подготовки и специальностям УГНПС «Информационная безопасность».

Дополнительные сведения:

Артикул: 3106531
ISBN: 978-5-9912-0787-4
Тип переплета: в пер.
Тираж: 500
Название: Моделирование и верификация политик безопасности управления доступом в операционных системах
Автор: П. Н. Девянин, Д. В. Ефремов, В. В. Кулямин и др.
Место издания: Москва
Издатель: Горячая линия - Телеком
Дата издания: 2019
Количество страниц: 215
Высота, см.: 22
Ширина, см: 14,5
Толщина, см: 1,5
Вес в граммах: 315

Читайте также:

Анализ вредоносных программ

1952,00 руб
в наличии

Подробнее В корзину

Защита абонентского телетрафика

799,00 руб
под заказ

Подробнее В корзину

Pro Вирусы

251,00 руб
в наличии

Подробнее В корзину

Информационная безопасность

819,00 руб
в наличии

Подробнее В корзину

Атакуемые взвешенные сети

710,00 руб
в наличии

Подробнее В корзину

Коды аутентификации

389,00 руб
в наличии

Подробнее В корзину

Книга «Моделирование и верификация политик безопасности управления доступом в операционных системах» в наличии в интернет-магазине «БИБЛИО-ГЛОБУС» по низкой цене. У Вас есть возможность оформить заказ на книгу «Моделирование и верификация политик безопасности управления доступом в операционных системах» с подходящим способом доставки: самовывоз, курьерская доставка или доставка почтой. Доставка заказов в такие города как Москва, Санкт-Петербург, Казань, Екатеринбург, Воронеж, Самара, Нижний Новгород. Интернет-магазин «БИБЛИО-ГЛОБУС» регулярно проводит акции и предоставляет скидки на книги.