Вирусы и средства борьбы с ними


Классификация вирусов


Определение 2.31. Для всех геделевских нумераций частичных рекурсивных функций

{\phi_i}
, для всех вирусов v по отношению к
{\phi_i}, \forall i,j \in \Gamma '
:
  • i вредоносна по отношению к v и j тттк

    • i = v(j)
    •  \begin{aligned} _v_~~~~~~~~~~~ \\ (\exists d,p \in S)[\phi_j (d,p) \not\cong \phi_i (d,p)] \end{aligned}

    Существует состояние системы, при котором зараженная вирусом v программа j выполняет вредоносную функцию, т.е. результат действия зараженной программы не ограничивается заражением (появлением новых зараженных программ).

  • i заразна по отношению к v и j тттк
    • i = v(j)
    •  \begin{aligned} _v_~~~~~~~~~~ \\ (\exists d,p \in S)[\phi_j (d,p) : \phi_i (d,p)] \end{aligned}

    Существует состояние системы, при котором зараженная вирусом v программа j выполняет функцию размножения - в результате ее действия в системе появляются новые зараженные программы.

  • i безобидна по отношению к v и j тттк

    • i = v(j)
    • i не вредоносна по отношению к j
    • i не заразна по отношению к j

  • i является трояном по отношению к v и j тттк
    • i = v(j)
    • вредоносна по отношению к j
    • i не заразна по отношению к j

    Троян способен только к выполнению вредоносных функций и не может размножаться.

  • i является переносчиком по отношению к v и j тттк
    • i = v(j)
    • не вредоносна по отношению к j
    • i заразна по отношению к j

    Переносчик является антиподом трояна: он только размножается и не содержит вредоносных функций.

  • i является вирусом по отношению к v и j тттк
    • i = v(j)
    • i вредоносна по отношению к j
    • i заразна по отношению к j

Вирус - наиболее универсальный тип вредоносных программ, способный как к размножению, так и к выполнению вредоносных действий.

В тех случаях когда существует единственная j такая, что (т.е. когда v инъективна) и i является вредоносной (заразной, безобидной, трояном, переносчиком, вирусом) по отношению к v и j, ссылка на j будет опускаться и i будет называться вредоносной (заразной, безобидной, трояном, переносчиком, вирусом) по отношению к v.

Таким образом, если по отношению к какому-либо вирусу инфицированная программа является безобидной, это значит что она выполняет в точности те же действия, что и исходная неинфицированная программа и никаких других. Если она является трояном, значит она не может заражать другие программы, а может только имитировать их действия или наносить вред.


- Начало -  - Назад -  - Вперед -