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

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Казарин О. В. Олег Викторович
مؤلف مشترك:	Московский государственный университет им. М. В. Ломоносова (МГУ) Координационный совет по приоритетному научному направлению "Безопасность и противодействие терроризму"
الملخص:	В книге рассмотрены теоретические и прикладные аспекты проблемы защиты программного обеспечения от различного рода злоумышленных действий. Особое внимание уделено моделям и методам создания доказуемо защищенных программ для применения в компьютерных системах с высоким оценочным уровнем доверия. Совокупность исследуемых моделей и методов защиты рассматривается в рамках общей методологии, основанной на единой аксиоматике и понятийной базе и учитывающей жизненный цикл создания и применения современного программного обеспечения, универсальные модели угроз безопасности и разрушающих программных средств. Монография может быть полезной для ученых и практиков в области защиты программного обеспечения, предназначенного для применения в различных областях человеческой деятельности. Кроме того, книга может служить пособием для студентов, обучающихся по специальностям «Компьютерная безопасность», «Комплексное обеспечение информационной безопасности автоматизированных систем», «Организация и технология защиты информации», «Защищенные телекоммуникационные системы».
اللغة:	الروسية
منشور في:	Москва, МЦНМО, 2009
الموضوعات:	Компьютерная безопасность программное обеспечение безопасность программы конфиденциальные вычисления самотестирующие программы маркирование идентификация программные коды целостность достоверность несанкционированное копирование противодействие
التنسيق:	كتاب
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=178170