Методология защиты программного обеспечения. Научные проблемы безопасности и противодействия терроризму

Казарин О. В.

под заказ

Цена в интернет-магазине: 2299,00 руб.

ISBN: 978-5-94057-584-9
Внешнее покрытие издания: в пер.
Фамилия автора в заголовке: Казарин
Инициалы автора (личного имени (имен)): О. В.
Код отношений (роль соавтора в издании): 070 Автор
Основное заглавие: Методология защиты программного обеспечения. Научные проблемы безопасности и противодействия терроризму
Первые сведения об ответственности: О. В. Казарин
Место издания: М.
Издатель: МЦНМО
Дата издания: 2009
Объем издания (количество страниц): 464
Высота, см.: 22
Индекс УДК: 004.4
Статус записи (Тип информации): В наличии
Ширина, см: 14,5
Толщина, см: 1,3
Вес в граммах: 205
Индекс ББК: 32.811 30-5-05 32.973-018.2 32
Артикул: 2431785

Описание

В книге рассмотрены теоретические и прикладные аспекты проблемы защиты программного обеспечения от различного рода злоумышленных действий. Особое внимание уделено моделям и методам создания доказуемо защищенных программ для применения в компьютерных системах с высоким оценочным уровнем доверия. Совокупность исследуемых моделей и методов защиты рассматривается в рамках общей методологии, основанной на единой аксиоматике и понятийной базе и учитывающей жизненный цикл создания и применения современного программного обеспечения, универсальные модели угроз безопасности и разрушающих программных средств. Монография может быть полезной для ученых и практиков в области защиты программного обеспечения, предназначенного для применения в различных областях человеческой деятельности. Кроме того, книга может служить пособием для студентов, обучающихся по специальностям Компьютерная безопасность, Комплексное обеспечение информационной безопасности автоматизированных систем, Организация и технология защиты информации, Защищенные телекоммуникационные системы.