< ... >
В познании природных явлений уровни синкретического, аналитического и синтетического осмысления абсолютно естественны. Это объясняется чрезвычайной сложностью объекта познания, его внутренней противоречивостью и конечностью времени изучения. Да и мозг человека так устроен: правое полушарие оперирует образами, левое — логическими правилами вывода, вместе они у некоторых людей способны к синтезу. Это очень практично: падает дерево — отойди в сторону, потом рассчитаешь, упало бы оно тебе на голову или рядом. Собираешься в магазин — сосчитай деньги, не то можно оказаться в сложной ситуации.
Честно говоря, с синкретичностью понимания рукотворных вещей ранее нам сталкиваться не доводилось. Неправильно это. Для того чтобы колеса крутились, должен быть двигатель. Двигатели бывают электрические, а бывают внутреннего сгорания. И так далее. Отдельный человек вполне может ездить на машине, не имея представления о том, что у нее внутри. Но только отдельный человек, а не человечество в целом!
В случае с компьютерными вирусами мы столкнулись с удивительным синкретизмом! Встретившись с новым для себя феноменом, человечество восприняло это как стихию и стало бороться с вирусами, позабыв об их (вирусах) среде обитания и жизненном цикле в целом, выхватив совершенно фрагментарно всего лишь одно свойство вирусов и построив индустрию антивирусных программ только исходя из абсолютно неправильного предположения, что можно написать программу, способную проанализировать другую программу. Задача выявления уязвимостей программного кода или фрагментов, содержащих разрушающие программные воздействия, восходит ко второй проблеме Гильберта о непротиворечивости аксиом арифметики. Основными результатами, направленными на ее решение и обозначившими проблематику, существующую и по настоящее время, являются теорема Геделя о неполноте и доказательство невозможности создания алгоритма, определяющего возможность завершения работы абстрактного вычислителя, полученное Тьюрингом. С практической точки зрения из них вытекает, что в общем случае обнаружение уязвимостей гарантировать нельзя.
Ниже мы попытаемся наметить первые шаги по пути анализа и синтеза, рассчитывая, что нас не примут за зануд, хотя неизбежное в этом случае повторение прописных истин вполне может дать к этому все основания. Для этого мы на очень понятийном уровне, избегая любых сложностей и подробностей, рассмотрим жизненный цикл вирусов, проиллюстрируем известные методы защиты информации и попробуем прокомментировать неудачи в антивирусной борьбе.
< ... >
