1. Книги
  2. Нехудожественная литература
  3. Научная литература
Код товара: 161626040
Моделирование и верификация политик безопасности управления доступом в операционных системах | Девянин #1
-22%

Моделирование и верификация политик безопасности управления доступом в операционных системах | Девянин Петр Николаевич, Кулямин Виктор Вячеславович

Тип книги:
О товаре
Перейти к описанию
ISBN
978-5-9912-0787-4
Год выпуска
2019
Язык издания
Русский

О книге

Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операци
861 ₽ 1 067 ₽
ИнфоКомКнига
Продавец
Перейти в магазин
  • 4,8 рейтинг товаров
  • Безопасная оплата онлайн
  • Возврат 7 дней

Описание

Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы специального назначения Astra Linux Special Edition. Этот процесс направлен на получение адекватной оценки характеристик защищенности и безопасности операционных систем и достижение высокого уровня доверия к полученной оценке. Помимо этого, монография знакомит читателя с современными технологиями и инструментами моделирования и верификации, используемыми в подобных процессах. Представленный процесс направлен на обеспечение выполнения требований ГОСТ Р ИСО/МЭК 15408 «Информационная технология. Методы и средства обеспечения безопасности. Критерии оценки безопасности информационных технологий» и профилей защиты операционных систем общего назначения (типа «А») третьего и второго классов защиты.
Для специалистов в области защиты информации, преподавателей, аспирантов; будет полезна студентам, обучающимся по направлениям подготовки и специальностям УГНПС «Информационная безопасность».
ISBN
978-5-9912-0787-4
Год выпуска
2019
Издательство
Горячая Линия - Телеком
Язык издания
Русский
Тип бумаги в книге
Офсетная
Размеры, мм
215х145х14
Формат издания
60x90/16
Тираж
500
Количество страниц
214
Вес товара, г
315
Тип книги
Печатная книга
Тип обложки
Твердый переплет
Автор:
Девянин Петр Николаевич, Кулямин Виктор Вячеславович, Петренко А. К.
Автор на обложке:
Девянин Петр Николаевич, Ефремов Денис Валентинович, Кулямин Виктор Вячеславович, Петренко Александр Константинович, Хорошилов Алексей Владимирович, Щепетков Илья Викторович
Информация о технических характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и основывается на последних доступных к моменту публикации сведениях

Персоны

  • Девянин Петр Николаевич Автор
  • Кулямин Виктор Вячеславович Автор
  • Петренко А. К. Автор

Издательства

  • Горячая Линия - Телеком Издательство
Сортировать по: дате оценке
I
IRM
7 Июня 2023
Николай Е.
30 Апреля 2023
5 / 5
5 звезд
2
4 звезды
0
3 звезды
0
2 звезды
0
1 звезда
0

Вопросы и ответы 0

Как правильно задавать вопросы?

Будьте вежливы и спрашивайте о товаре, на карточке которого вы находитесь

Если вы обнаружили ошибку в описанием товара, воспользуйтесь функцией

Как отвечать на вопросы?

Отвечать на вопросы могут клиенты, купившие товар, и официальные представители.

Выбрать «Лучший ответ» может только автор вопроса, если именно этот ответ ему помог.