Вирусы и защита ЭВМ от них

Вирусы

Компьютерный вирус (зараза) — компьютерная программа или вредоносный код, отличительным признаком которых является способность к размножению (саморепликация). В дополнение к этому вирусы могут без ведома пользователя выполнять прочие произвольные действия, в том числе наносящие вред пользователю и/или компьютеру.

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

Кроме того, вирусы обычно занимают некоторое место на накопителях информации и отбирают некоторые другие ресурсы системы. Поэтому вирусы относят к вредоносным программам. Некомпетентные пользователи ошибочно относят к компьютерным вирусам и другие виды вредоносных программ — программы-шпионы и прочее. Известны десятки тысяч компьютерных вирусов, которые распространяются через Интернет по всему миру. Создание и распространение вредоносных программ (в том числе вирусов) преследуется в России согласно Уголовному кодексу РФ (глава 28, статья 273). Согласно доктрине информационной безопасности РФ, в России должен проводиться правовой ликбез в школах и вузах при обучении информатике и компьютерной грамотности по вопросам защиты информации в ЭВМ, борьбы с компьютерными вирусами, детскими порно-сайтами и обеспечению информационной безопасности в сетях ЭВМ.

Компьютерный вирус был назван по аналогии с биологическими вирусами за сходный механизм распространения. По-видимому, впервые слово «вирус» по отношению к программе было употреблено Грегори Бенфордом (Gregory Benford) в фантастическом рассказе «Человек в шрамах», опубликованном в журнале Venture в мае 1970 года. Грегори Бенфордом (Gregory Benford).

Термин «компьютерный вирус» впоследствии не раз «открывался» и переоткрывался. Так, переменная в подпрограмме PERVADE (1975), от значения которой зависело, будет ли программа ANIMAL распространяться по диску, называлась VIRUS. Также, вирусом назвал свои программы Джо Деллинджер и, вероятно, это и было то, что впервые было правильно обозначено как вирус.

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

M: (SM, IM, OM: SM x IM > IM, NM: SM x IM > SM, DM: SM x IM > d).

с заданным множеством состояний SM, множеством входных символов IM и отображений (OM, NM, DM), которая на основе своего текущего состояния s? SM и входного символа i? IM, считанного с полубесконечной ленты, определяет: выходной символ o? IM для записи на ленту, следующее состояние машины s'? SM и движения по ленте d? {-1,0,1}.

Для данной машины M, последовательность символов v: vi? IM может быть сочтена вирусом тогда и только тогда, когда обработка последовательности v в момент времени t, влечёт за собой то, что в один из следующих моментов времени t, последовательность v? (не пересекающаяся с v) существует на ленте, и эта последовательность v? была записана M в точке t?, лежащей между t и t?:

? CM? t? j:

SM (t) = SM0 ?

PM (t) = j ?

{ CM (t, j) … CM (t, j + |v| - 1)} = v ?

? v'? j'? t'? t" :

t < t" < t' ?

{j' … j' +|v'|}? {j … j + |v|} =? ?

{ CM (t', j') … CM (t', j' + |v'| - 1)} = v' ?

PM (t")? { j' … j' + |v'| - 1 }.

где:

t? N число базовых операций «перемещения», осуществлённых машиной.

PM? N номер позиции на ленте машины в момент времени t.

SM0 начальное состояние машины.

CM (t, c) содержимое ячейки c в момент времени t.

Данное определение было дано в контексте вирусного множества VS = (M, V) — пары, состоящей из машины Тьюринга M и множества последовательностей символов V: v, v'? V. Из данного определения следует, что понятие вируса неразрывно связано с его интерпретацией в заданном контексте, или окружении.

Фредом Коэном было показано, что «любая самовоспроизводящаяся последовательность символов: одноэлементный VS, согласно которой существует бесконечное количество VS, и не-VS, для которых существуют машины, по отношению к которым все последовательности символов является вирусом, и машин, для которых ни одна из последовательностей символов не является вирусом, даёт возможность понять, когда любая конечная последовательность символов является вирусом для какой-либо машины». Он также приводит доказательство того, что в общем виде вопрос о том, является ли данная пара (M, X): Xi? IM вирусом, неразрешим (то есть не существует алгоритма, который мог бы достоверно определить все вирусы), теми же средствами, которыми доказывается неразрешимость проблемы остановки.

Другие исследователи доказали, что существуют такие типы вирусов (вирусы, содержащие копию программы, улавливающей вирусы), которые не могут быть безошибочно определены ни одним алгоритмом.