TY  - BOOK
AU  - Казарин,Олег Викторович
AU  - Садовничий,Виктор Антонович
AU  - Шерстюк,В.П.
TI  - Методология защиты программного обеспечения: [монография]
T2  - Научные проблемы безопасности и противодействия терроризму
SN  - 9785940575849
PY  - 2009///
CY  - Москва
PB  - Изд-во МЦНМО
KW  - программное обеспечение
KW  - защита программных средств
KW  - угрозы безопасности информации
KW  - доказательства правильности программ
KW  - правила вывода
KW  - конфиденциальные вычисления
KW  - примитивы
KW  - обобщенные модели
KW  - самотестирующиеся программы
KW  - самокорректирующиеся программы
KW  - самотестирующиеся аппроксимации
KW  - маркирование программ
KW  - инкрементальное маркирование
KW  - RAM-моделирование неочевидное
KW  - RAM-машина
KW  - анализ безопасности программного обеспечения
KW  - обеспечение надежности программного обеспечения
KW  - технологическая безопасность
KW  - модели надежности
KW  - Шумана модель
KW  - Джелинского-Моранды модель
KW  - Нельсона модель
KW  - инструментальные средства
KW  - идентификация программ
KW  - компьютерные вирусы
KW  - средства исследования программ
KW  - коды программ
KW  - обфускация программ
KW  - обфускаторы
KW  - несанкционированные копирования
KW  - защита от несанкционированного доступа
N1  - Библиогр.: с. 440-460; Предм. указ.: с. 461-464
ER  -