Normal view
MARC view
Методология защиты программного обеспечения [монография] О. В. Казарин ; под общ. ред. В. А. Садовничего и В. П. Шерстюка
Material type:
TextLanguage: Russian Series: Научные проблемы безопасности и противодействия терроризмуPublication details: Москва Изд-во МЦНМО 2009Description: 464 с. ил., табл. 22 смISBN: 9785940575849Subject(s): программное обеспечение | защита программных средств | угрозы безопасности информации | доказательства правильности программ | правила вывода | конфиденциальные вычисления | примитивы | обобщенные модели | самотестирующиеся программы | самокорректирующиеся программы | самотестирующиеся аппроксимации | маркирование программ | инкрементальное маркирование | RAM-моделирование неочевидное | RAM-машина | анализ безопасности программного обеспечения | обеспечение надежности программного обеспечения | технологическая безопасность | модели надежности | Шумана модель | Джелинского-Моранды модель | Нельсона модель | инструментальные средства | идентификация программ | компьютерные вирусы | средства исследования программ | коды программ | обфускация программ | обфускаторы | несанкционированные копирования | защита от несанкционированного доступаOther classification: З973.233-021.3,0
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Выдается в читальный зал | Книгохранилище | 1-988729к (Browse shelf (Opens below)) | Available | 13820000724755 |
Библиогр.: с. 440-460
Предм. указ.: с. 461-464
There are no comments on this title.