Ваш любимый книжный интернет-магазин
Перейти на
GlavKniga.KZ
Ваш город: Москва
Ваше местоположение – Москва
 Да 
От вашего выбора зависит время и стоимость доставки
Корзина: пуста
Авторизация 
  Логин
  
  Пароль
  
Регистрация  Забыли пароль?

Поиск по каталогу 
(строгое соответствие)
ISBN
Фраза в названии или аннотации
Автор
Язык книги
Год издания
с по
Электронный носитель
Тип издания
Вид издания
Отрасли экономики
Отрасли знаний
Сферы деятельности
Надотраслевые технологии
Разделы каталога
худ. литературы
Читайте отзывы покупателей и оценивайте качество магазина на Яндекс.Маркете

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

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