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

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

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

Монография может быть полезной для ученых и практиков в области защиты программного обеспечения, предназначенного для применения в различных областях человеческой деятельности. Кроме того, книга может служить пособием для студентов, обучающихся по специальностям "Компьютерная безопасность", "Комплексное обеспечение информационной безопасности автоматизированных систем", "Организация и технология защиты информации", "Защищенные телекоммуникационные системы".
Новинки
Алексей Баранчиков, Павел Баранчиков, Александр Пылькин
Алгоритмы и модели ограничения доступа к записям баз данных
X. Кейт Мелтон, Крейг Пилиджан, Дуэйн Свиержинский
Офисный шпионаж
Elisa Bertino, Lorenzo Martino, Federica Paci, Anna Squicciarini
Security for Web Services and Service-Oriented Architectures
Daniel Minoli, Jake Kouns
Security in an IPv6 Environment