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

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

Вес:	325
Ширина упаковки:	145
Высота упаковки:	15
Глубина упаковки:	215
crossborder:	false
Тираж:	500
Мелованная бумага:	false
Цветные иллюстрации:	false
Страна произведения:	Русская литература
Название:	Моделирование и верификация политик безопасности управления доступом в операционных системах
Содержит нецензурную брань:	false
Издатель:	Горячая Линия - Телеком
Тип издания:	Отдельное издание
Признак 18+:	false
Период публикации:	Современная литература
isMarketplace:	true
Основной жанр книги:	Компьютерные технологии
Происхождение произведения:	Русская литература
Направления нехудожественной литературы:	Информационная безопасность
Тип книги:	Печатная книга
Тип обложки:	Твердый переплет
Тип носителя:	Печатная книга
Эпоха публикации:	Современные издания
ebsmstock:	false