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


Автор:
Название:
Методология защиты программного обеспечения
Издательство:
МЦНМО
ISBN:
978-5-94057-584-9
Год издания:
2009
Тираж:
400 экз.
Количество страниц:
464 стр.
Формат:
150x220x25

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

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