Журнал «Компьютерра» № 21 от 05 июня 2007 года

Журнал Компьютерра

С тех пор математики пытаются либо найти алгоритм, решающий какую-нибудь из NP-полных задач за степенное время, то есть доказать что P=NP, либо доказать, что таких алгоритмов не существует. А на этой гипотезе зиждется все шифрование данных по алгоритмам с открытым ключом. И только гипотетические квантовые компьютеры способны решать задачи из NP за степенное время.

Но и доказать, что P не равно NP, уже много лет не удается. Не удается и доказать, что это доказать невозможно, а значит, утверждение о неравенстве можно принять в качестве еще одной аксиомы в основаниях математики. Ученые перешли в осаду и время от времени обнаруживают, что те или иные известные методы доказательств не могут решить эту проблему. Свой вклад в этот процесс вносит и статья лауреатов. В ней показано,

что целый класс так называемых «натуральных» доказательств тоже не может решить проблему. А это значит, что надо искать какие-то другие пути. Впервые результаты этой статьи были доложены на симпозиуме по теории вычислений еще тринадцать лет тому назад, и этого времени оказалось достаточно, чтобы коллеги по достоинству оценили значение работы. ГА

Седьмой номер KAV и KIS: ты ловить умеешь крыс?

Как известно, новые вирусы и трояны появляются в Сети с завидной регулярностью и чем дальше, тем гуще. Борцы с этим злом тоже не отстают. «Лаборатория Касперского» перешла с неупорядоченного – как бог на душу положит – на годичный цикл выпуска новых версий своего антивирусного пакета для конечных пользователей. Год назад появилась «шестерка», а теперь состоялся анонс седьмого поколения KAV и KIS [Kaspersky AntiVirus и Kaspersky Internet Security. Второй содержит файрволл и прочие интернет-компоненты.], которые выйдут 07.07.2007 (интересно, не будет ли на дистрибутиве магических пентаграмм или охраняющих рун?).

Первый возникающий по этому поводу вопрос: «Зачем?» – чего такого не хватало в шестой редакции, чтобы оправдать умножение сущностей?

На самом деле даже разработчики признают, что ничего революционного не появилось, это просто эволюция в соответствии с изменившимися требованиями рынка и характером угроз. Конечно, ЛК не могла проигнорировать эпоху Windows Vista – интерфейс программы теперь выполнен в соответствующем стиле. Однако одними «рюшечками» адаптация под новую ОС не ограничивается, есть поддержка и 64-разрядной Vista, и механизма контроля прав пользователя UAC, а все сетевые и файловые драйверы подписаны в сертификационной лаборатории Microsoft. Помимо «солидности» (при инсталляции Windows не высказывает опасений в том, что неизвестный разработчик может украсть серебряные ложки или еще чего похуже сделать), это еще и гарантия определенного уровня стабильности – сертификация сопровождается тщательным тестированием на совместимость.

С угрозами сложнее. Слабо верится, что добавление детектирования расплодившихся за последнее время кейлоггеров и руткитов нельзя было провести без масштабного изменения версии. Тем более что, по словам замдиректора по продуктам Алексея Калгина, в корпоративных антивирусах ЛК все так и сделано – CIO и сисадмины слишком нервно реагируют на частый апгрейд ПО.

Конечных же пользователей зачислили в прогрессисты, которым постоянно подавай что-нибудь новенькое, хотя бы на уровне отдельных фич. Из этих фич самое заметное в «семерке» – модуль «родительского контроля», отличающийся от изделий конкурентов прежде всего браузеронезависимостью (анализ http-трафика) и развитой самозащитой. Не секрет, что детишки нонче пошли ушлые, иной малолетний хакер отлично знает про «портабильный» FireFox, а в Сети можно наковырять немало инструкций по обходу разнообразнейших механизмов Parental Control. ЛК для защиты от несовершеннолетних оболтусов использует тот же алгоритм, что помогает антивирусу выжить при конфликте со «зловредами». В частности, в списке Task Manager видны два процесса, которые следят друг за другом и автоматически оживляют «внезапно почившего» коллегу. А попытки остановить процесс стандартными средствами (в том числе командой net stop) блокируются операционной системой.

Оптимизирована и производительность: антивирус уже не столь ревниво относится к собственному приоритету и даже великодушно позволяет юзеру повозить мышкой в его вордах-экселях (следует признать, что со времен «четверки», которая наглухо завешивала систему, нынешняя версия ушла далеко вперед). Милосердие программы простирается до неслыханных высот – отказа от запуска проверки по расписанию, если ноутбук в это время питается от батарей. По просьбам трудящихся встроенный файрволл теперь практически без задержек пропускает сетевые пакеты онлайновых игрушек – под «шестеркой» наблюдались приличные лаги, жутко бесившие каунтерстрайкеров и прочий горячий народ.

Как и «шестерка», новая версия использует механизм «тройного щита»: классическая проверка по сигнатурам «зловредов» дополняется эвристическим анализом и проактивной защитой. Как уверяют в ЛК, эвристика – эмуляция кода подозрительного объекта в безопасной среде – значительно усовершенствована. А вот проактивная защита – отслеживание действий выполняемых программ и при необходимости откат назад внесенных ими изменений – отличается чрезмерной подозрительностью: на моем компьютере процесс winword exe был отнесен к классу криптотроянов (вроде памятного Gpcode). Возможно, с точки зрения апологетов Open Source, это и справедливое обвинение, но неопытный пользователь может и напугаться.

Богатый список отлавливаемой антивирусом нечисти породил на пресс-конференции закономерный вопрос: поймает ли программа элементарный bat-файл с командой форматирования жесткого диска? Во время фуршета проверили – не поймает. Эпоха уже не та, нынче в моде охота на руткитов. ВБ

Новости подготовили

Галактион Андреев

Александр Бумагин

Евгений Гордеев

Артем Захаров

Денис Коновальчик

Игорь Куксов

Олег Кучин

Алексей Левин

Алексей Носов

Иван Прохоров

Дмитрий Пустовалов

Дмитрий Шабанов

Илья Щуров

Микрофишки

Microsoft на неделю отложила выпуск игры Halo 2 для PC под любопытным предлогом: на коробки потребовалось наклеить этикетку с предупреждением о содержащейся внутри «частичной наготе». Строгие предписания ESRB, органа по оценке содержания игр на соответствие требованиям общественной морали, не терпят исключений. Halo 2 для Vista и так был присвоен индекс M (Mature), то есть «дети до 17 лет не допускаются». О чем же идет речь? В редакторе карт, прилагающемся к игре, было обнаружено изображение мужчины, который при некой ошибке демонстрирует голый зад. Хотя подавляющему большинству пользователей так глубоко не забраться, этого оказалось достаточно для грозного предупреждения. Microsoft пообещала исправить ошибку, а пока – выложить на сайт патч, ликвидирующий «вызов нравственности». Любопытно бы поглядеть на счетчик скачиваний… ИП

***

Свершилось! По многочисленным просьбам трудящихся компания Dell наконец начала поставки консьюмерских десктопов с предустановленной ОС Linux. В качестве дистрибутива использована популярная в народе Ubuntu; стоят «опингвиненные» десктопы примерно на полсотни долларов меньше, чем «оконные». Сообщество ликует: это первая столь крупная победа над «налогом Microsoft» («Microsoft Tax»), как прозвали сторонники свободного софта принудительную оплату Windows-лицензий при покупке новой техники. Хочется верить, что не последняя. ИЩ

***

Интернациональная команда астрономов проследила судьбу недавно открытой мини-галактики Андромеда XII. Она была обнаружена в октябре прошлого года с помощью широкоугольной видеосистемы MegaCam, которая установлена на 360-сантиметровом телескопе CFHT (Canada-France-Hawaii Telescope), расположенном на потухшем гавайском вулкане Мауна-Кеа. Сейчас эта карликовая галактика входит в состав Местной Группы, небольшого галактического кластера поперечником не более 10 млн. световых лет. Он включает больше сорока галактик, в том числе и наш Млечный Путь. Анализ движения Андромеды XII показал, что она сформировалась вдали от Местной Группы и попала в сферу ее притяжения лишь после долгого путешествия в космосе. Ученые и раньше предполагали, что Местная Группа может втягивать небольшие блуждающие галактики, однако до сих пор таких примеров не находилось. АЛ