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

Bibliographic Details
Main Author:	Казарин О. В. Олег Викторович
Corporate Author:	Московский государственный университет им. М. В. Ломоносова (МГУ) Координационный совет по приоритетному научному направлению "Безопасность и противодействие терроризму"
Summary:	В книге рассмотрены теоретические и прикладные аспекты проблемы защиты программного обеспечения от различного рода злоумышленных действий. Особое внимание уделено моделям и методам создания доказуемо защищенных программ для применения в компьютерных системах с высоким оценочным уровнем доверия. Совокупность исследуемых моделей и методов защиты рассматривается в рамках общей методологии, основанной на единой аксиоматике и понятийной базе и учитывающей жизненный цикл создания и применения современного программного обеспечения, универсальные модели угроз безопасности и разрушающих программных средств. Монография может быть полезной для ученых и практиков в области защиты программного обеспечения, предназначенного для применения в различных областях человеческой деятельности. Кроме того, книга может служить пособием для студентов, обучающихся по специальностям «Компьютерная безопасность», «Комплексное обеспечение информационной безопасности автоматизированных систем», «Организация и технология защиты информации», «Защищенные телекоммуникационные системы».
Language:	Russian
Published:	Москва, МЦНМО, 2009
Subjects:	Компьютерная безопасность программное обеспечение безопасность программы конфиденциальные вычисления самотестирующие программы маркирование идентификация программные коды целостность достоверность несанкционированное копирование противодействие
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=178170