| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Однодневный семинар по математической логике
|
|||
|
|
|||
|
Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода Д. А. Серова |
|||
|
Аннотация: В докладе будет рассмотрена новая теоретико-автоматная модель, которая может послужить основой для разработки антивирусов. Будет приведен обзор методов решения проблемы проверки эквивалентности для различных алгебраических моделей программ и оценка устойчивости некоторых обфусцирующий преобразований, которые обычно используются метаморфными вирусами. |
|||