|
|
|
|
| LEADER |
00000nam0a2200000 4500 |
| 001 |
178170 |
| 005 |
20231101223405.0 |
| 010 |
|
|
|a 9785940575849
|
| 035 |
|
|
|a (RuTPU)RU\TPU\book\193159
|
| 090 |
|
|
|a 178170
|
| 100 |
|
|
|a 20100402d2009 k y0rusy50 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a y z 001zy
|
| 200 |
1 |
|
|a Методология защиты программного обеспечения
|f О. В. Казарин
|g Московский государственный университет им. М. В. Ломоносова (МГУ), Координационный совет по приоритетному научному направлению "Безопасность и противодействие терроризму"
|
| 210 |
|
|
|a Москва
|c МЦНМО
|d 2009
|
| 215 |
|
|
|a 464 с.
|
| 320 |
|
|
|a Библиогр.: с. 440-460.
|
| 320 |
|
|
|a Предметный указатель: с. 461-464.
|
| 330 |
|
|
|a В книге рассмотрены теоретические и прикладные аспекты проблемы защиты программного обеспечения от различного рода злоумышленных действий. Особое внимание уделено моделям и методам создания доказуемо защищенных программ для применения в компьютерных системах с высоким оценочным уровнем доверия. Совокупность исследуемых моделей и методов защиты рассматривается в рамках общей методологии, основанной на единой аксиоматике и понятийной базе и учитывающей жизненный цикл создания и применения современного программного обеспечения, универсальные модели угроз безопасности и разрушающих программных средств. Монография может быть полезной для ученых и практиков в области защиты программного обеспечения, предназначенного для применения в различных областях человеческой деятельности. Кроме того, книга может служить пособием для студентов, обучающихся по специальностям «Компьютерная безопасность», «Комплексное обеспечение информационной безопасности автоматизированных систем», «Организация и технология защиты информации», «Защищенные телекоммуникационные системы».
|
| 606 |
1 |
|
|a Компьютерная безопасность
|2 stltpush
|3 (RuTPU)RU\TPU\subj\68775
|9 83933
|
| 610 |
1 |
|
|a программное обеспечение
|
| 610 |
1 |
|
|a безопасность
|
| 610 |
1 |
|
|a программы
|
| 610 |
1 |
|
|a конфиденциальные вычисления
|
| 610 |
1 |
|
|a самотестирующие программы
|
| 610 |
1 |
|
|a маркирование
|
| 610 |
1 |
|
|a идентификация
|
| 610 |
1 |
|
|a программные коды
|
| 610 |
1 |
|
|a целостность
|
| 610 |
1 |
|
|a достоверность
|
| 610 |
1 |
|
|a несанкционированное копирование
|
| 610 |
1 |
|
|a противодействие
|
| 675 |
|
|
|a 681.3.067
|v 3
|
| 700 |
|
1 |
|a Казарин
|b О. В.
|g Олег Викторович
|
| 712 |
0 |
2 |
|a Московский государственный университет им. М. В. Ломоносова (МГУ)
|b Координационный совет по приоритетному научному направлению "Безопасность и противодействие терроризму"
|2 stltpush
|3 (RuTPU)RU\TPU\col\7
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20100402
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20180516
|g RCR
|
| 942 |
|
|
|c BK
|