ru.nethack

 
 - RU.NETHACK -------------------------------------------------------------------
 From : Dmitry Radishev                      2:5015/42      08 Aug 2002  17:27:07
 To : Ilya Teterin
 Subject : червяки и распределенные вычисления?
 -------------------------------------------------------------------------------- 
 

 
 Thursday August 01 2002 16:34, Ilya Teterin wrote to Dmitry Radishev:
 
  >>  IT> Авторы - большие остряки :)
  >>  Авторы - математики. Из тех, что строго доказывают, что целых и
 
  IT> Выйди из Матрицы! Осознай, что именно они доказали на самом деле! :)
  IT> Они доказали, что в рамках их модели создать корректно определяющий
  IT> вирусы алгоритм невозможно.
 
  "Их модель" - это конечные автоматы, скорее всего. Компьютер - не совсем
 конечный автомат (у него есть дырки, через которые он общается с внешним миром,
 поэтому его поведение определяется не только текущим состоянием), но расскажи -
 как наличие таких дырок повлияет на алгоритмы обнаружения вирусов?
 
  IT>  К несчастью, перед тем, как провести свое
  IT> безупречное доказательство, они _придумали_, что же значит "корректно
  IT> определять вирусы". Если бы они избрали другое определение
  IT> "корректного детектирования", то доказательства могло бы не
  IT> получиться... Understand?
 
  Jamais. Чем тебе не нравится их определение? Придумай своё определение, тогда
 поговорим.
 
  IT>  Hапример, если объявить "вирусами"
  IT> программы, способные к самопроизвольному размножению при определенных
  IT> условиях, в их список попадет и приведенный авторами дикий пример,
  IT> попадет несмотря на то, что сделает себе харакири (exit),
 
  Так ить не попадет. Точнее, в "список" попадет, но _детектор_ этого вируса
 написать будет невозможно. Ведь именно _это_ и доказывалось, если ты
 внимательно прочитаешь доказательство.
  Конечно, можно распечатать код этого вируса на бумажке и отдать распечатку
 Крису Касперскому, пусть полазит с лупой - но тогда при чем тут вообще
 компьютеры?
 
  IT>  способность
  IT> "при определенных условиях" ведь сохранилась... Hичто не вынуждает
  IT> МЕHЯ придерживаться авторской системы определений, неудобство которой
  IT> они доказавали целых 4 листа формата A3 :) А тебя что вынуждает?
 
  [пожимая плечами] меня к этому вынуждает то, что оплата труда эксперта по
 компьютерным вирусам, который таки сможет его "сдетектить" во всех модификациях
 - слишком велика. Поэтому "детектить" придется компьютером. А он, увы - не
 идеален. Доказано.
 
 All the best //DiBR                        [TEAM ВСЕ МАСТДАЙ] [шестая базовая]
                                                          [http://dibr.nnov.ru]
 
 --- [LPT] LaMerZ PrOfeSsIoNaL TeaM  /member/
  * Origin: трансфер кешем не испортишь (2:5015/42)
 
 

Вернуться к списку тем, сортированных по: возрастание даты  уменьшение даты  тема  автор