2015_лекции / Лекция №1.2_2015
.pdf
Вирусное множество. Свойства
Определение (самое маленькое вирусное множество)
Множество является самым маленьким вирусным множеством,
если выполняется следующие условия:
( , ) Υ
U V (M, U) Υ
Обозначение = ( )
29.05.2015
Вирусное множество. Мощность множества
29.05.2015
Вирусное множество. Мощность множества
29.05.2015
Вирусное множество. Мощность множества
29.05.2015
Вирусное множество. Мощность множества
29.05.2015
Вирусное множество. Свойства
29.05.2015
Вирусное множество. Свойства
Утверждение 3
Существует машина Тьюринга M, такая, что для любой ее программы v можно найти множество V, которое вместе с этой машиной Тьюринга образуют вирусное множество.
, и для всех последовательностей*, такое что
, |
( , ) ( ) |
29.05.2015
Проблема обнаружения вирусов и ее вычислительная сложность
Составляющие этой проблемы:
1.разрешимость проблемы;
2.проблема эволюции вирусов;
3.вычислимость проблемы.
29.05.2015
Проблема разрешимости обнаружения КВ
29.05.2015
Проблема разрешимости обнаружения КВ
Утверждение (Чесс&Уайт):
невозможно создать программу, которая определяет все вирусы, известные или неизвестные, без ложноположительных срабатываний;
существуют вирусы, для которых, даже имея образец вируса и полностью его исследовав, невозможно создать программу, которая бы определяла данный вирус без ложноположительных срабатываний.
29.05.2015