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


Классификация вирусов - часть 2


Если программа является переносчиком, значит она не способна наносить вред, но при определенных обстоятельствах может заражать другие программы.

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

{\phi_i}
, для всех вирусов v по отношению к
{\phi_i}
:
  • вирус v безобиден тттк одновременно справедливо:
    • (
      j
      ?') [v(j) не является вредоносной по отношению к v и j]
    • (
      j
      ?') [v(j) не является заразной по отношению к v и j]

  • вирус v - троянский конь тттк одновременно справедливо:
    • (
      j
      ?') [v(j) является вредоносной по отношению к v и j]
    • (
      j
      ?') [v(j) не является заразной по отношению к v и j]

  • вирус v только распространяется тттк одновременно справедливо:
    • (
      j
      ?') [v(j) не является вредоносной по отношению к v и j]
    • (
      j
      ?') [v(j) является заразной по отношению к v и j]

  • вирус v вредоносен тттк одновременно справедливо:
    • (
      j
      ?') [v(j) является вредоносной по отношению к v и j]
    • (
      j
      ?') [v(j) является заразной по отношению к v и j]

Следующая теорема отмечает ряд простых свойств, присущих различным типам вирусов.

Теорема 2.11. Для всех геделевских нумераций частичных рекурсивных функций

{\phi_i}
, для всех вирусов v по отношению к
{\phi_i}
:
  1. (\exists j \in \Gamma ')
    [v(j) безобидна по отношению к v и j]
  2. вирус v безобиден тттк
    (\forall j \in \Gamma ')
    [v(j) безобидна по отношению к v и j]
  3. если v - троян, то
    (\forall j \in \Gamma ')
    [v(j) безобидна по отношению к v и j] или [v(j) является трояном по отношению к v и j]
  4. если v способен только распространяться, то
    (\forall j \in \Gamma ')
    [v(j) безобидна по отношению к v и j] или [v(j) является переносчиком по отношению к v и j]

Доказательство. Первое свойство непосредственно следует из первой теоремы о рекурсии (теоремы о неподвижной точке).

Остальные свойства следует непосредственно из определений.




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