Проблема обнаружения сложных компьютерных вирусов

[ElemenT32]

Я выполняю работу, носящую обзорный характер, по теме "Проблема обнаружения сложных компьютерных вирусов".
В данной работе необходимо рассмотреть проблему обнаружения полиморфных компьютерных вирусов с точки зрения обфускации спецификации вируса, и выявление функциональное его части ,используя алгоритм эквивалентности программ.
Затем, необходимо рассмотреть тот математический аппарат, на основе которого можно разрабатывать алгоритмы проверки эквивалентности программ и оценивать сложность задачи сканирования полиморфных вирусов.

Подскажите, в каких источниках можно найти информацию по данному вопросу? А т.ж. какие книги мне стоит почитать.

[psw]

Например, здесь обсуждается вирусный полиформизм с точки зрения формальных грамматик
"Polymorphism and grammars", Wintermute, 1999
http://vx.org.ua/lib/vwm00.html

[ВодкуГлыть]

А я думал - полиморфизм, это дело уже давноушедших дней, как раз 90-х годов.