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,0Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-988729к (Browse shelf(Opens below)) | Available | 13820000724755 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)
Библиогр.: с. 440-460
Предм. указ.: с. 461-464
There are no comments on this title.
Log in to your account to post a comment.