Методология защиты программного обеспечения: Научные проблемы безопасности и противодействия терроризму
|
Автор: Казарин О.В.
Жанр: Компьютерная безопасность. Хакинг
Издательство: Московский центр непрерывного математического образования (МЦНМО)
Год: 2009 Количество страниц: 464
Формат:
PDF (23.20 МБ)
Дата загрузки: 26 февраля 20112013-03-16
|
Аннотация
В книге рассмотрены теоретические и прикладные аспекты проблемы защиты программного обеспечения от различного рода злоумышленных действий. Особое внимание уделено моделям и методам создания доказуемо защищенных программ для применения в компьютерных системах с высоким оценочным уровнем доверия. Совокупность исследуемых моделей и методов защиты рассматривается в рамках общей методологии, основанной на единой аксиоматике и понятийной базе и учитывающей жизненный цикл создания и применения современного программного обеспечения, универсальные модели угроз безопасности и разрушающих программных средств. Монография может быть полезной для ученых и практиков в области защиты программного обеспечения, предназначенного для применения в различных областях человеческой деятельности. Кроме того, книга может служить пособием для студентов, обучающихся по специальностям Компьютерная безопасность, Комплексное обеспечение информационной безопасности автоматизированных систем, Организация и технология защиты информации, Защищенные телекоммуникационные системы.
Скачать с нашего сайта
|
Комментарии
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикаци.
|
|