Подробное описание документа

Казарин О. В.
   Методология защиты программного обеспечения. [Научные проблемы безопасности и противодействия терроризму] : [монография] / Казарин О. В. ; МГУ им. М. В. Ломоносова ; общ. ред. Садовничий В. А., Шерстюк В. П. - М. : МЦНМО, 2009. - 464 с. - Библиогр.: с. 440-460. - ISBN 978-5-94057-584-9.

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