Интернет магазин китайских планшетных компьютеров

Компьютеры - Компьютерный вирус - Происхождение термина

Компьютерный вирус был назван по аналогии с биологическими вирусами за сходный механизм распространения. По всей видимости, впервые слово «вирус» по отношению к программе было употреблено Грегори Бенфордом в фантастическом рассказе «Человек в шрамах», опубликованном в журнале Venture в мае 1970 года. Термин «компьютерный вирус» впоследствии не раз открывался и переоткрывался — так, переменная в программе PERVADE, от значения которой зависело, будет ли программа ANIMAL распространяться по диску, называлась VIRUS. Также, вирусом назвал свои программы Джо Деллинджер, и, вероятно, — это и был первый вирус, названный собственно «вирусом».

Формальное определение

Нет общепринятого формального определения вируса. В академической среде термин был употреблён Фредом Коэном в его работе «Эксперименты с компьютерными вирусами» , где он сам приписывает авторство термина Лену Эдлмэну.

Формально вирус определён Фредом Коэном, со ссылкой на Машину Тьюринга, следующим образом:

M :

с заданным множеством состояний S_M, множеством входных символов I_M и отображений, которая на основе своего текущего состояния s ∈ S_M и входного символа i ∈ I_M, считанного с полубесконечной ленты, определяет: выходной символ o ∈ I_M для записи на ленту, следующее состояние машины s' ∈ S_M и движения по ленте d ∈ {-1,0,1}.

Для данной машины M, последовательность символов v : v_i ∈ I_M может быть сочтена вирусом тогда и только тогда, когда обработка последовательности v в момент времени t, влечёт за собой то, что в один из следующих моментов времени t, последовательность v′ существует на ленте, и эта последовательность v′ была записана M в точке t′, лежащей между t и t″:

∀ CM ∀ t ∀ j:
SM = SM0 ∧
PM = j ∧
{ CM … CM} = v ⇒
∃ v' ∃ j' ∃ t' ∃ t":
t < t" < t' ∧
{j' … j' +|v'|} ∩ {j … j + |v|} = ∅ ∧
{ CM … CM} = v' ∧
PM ∈ { j' … j' + |v'| - 1 }

где

• t ∈ N число базовых операций «перемещения», осуществлённых машиной
• P_M ∈ N номер позиции на ленте машины в момент времени t
• S_M0 начальное состояние машины
• C_M содержимое ячейки c в момент времени t

Данное определение было дано в контексте вирусного множества VS = — пары состоящей из Машины Тьюринга M и множества последовательностей символов V: v, v' ∈ V. Из данного определения следует, что понятие вируса неразрывно связано с его интерпретацией в заданном контексте — окружении. Фредом Коэном было показано, что: «любая самовоспроизводящаяся последовательность символов одноэлементный VS, что существует бесконечное количество VS и не-VS, для которых существуют машины, для которых все последовательности символов является вирусом, и для которых ни одна из последовательностей символов не является вирусом, и что любая конечная последовательность символов является вирусом для какой-либо машины». Там же приведено доказательство того, что в общем виде, вопрос о том, является ли данная пара : X_i ∈ I_M вирусом, неразрешим, теми же средствами, которыми доказывается неразрешимость проблемы остановки. Другие исследователи доказали, что существуют такие типы вирусов, которые не могут быть безошибочно определены ни одним алгоритмом.