2015_лекции / Лекция №1.2_2015
.pdf
Математическая модель компьютерного вируса Ф. Коэна
(часть 2)
29.05.2015
Результаты работы Ф.Коэна
определение компьютерного вируса
постановка проблемы обнаружения вирусов,
определение модели защиты от заражения компьютерными вирусами.
Cohen, F., 1987. "Computer Viruses Theory and Experiments," Computers and Security, vol. 6, pp. 22-35
29.05.2015
Компьютерный вирус. Определение
29.05.2015
Компьютерный вирус. Определение
Остановка машины Тьюринга:
МТ остановится в момент времени т. и т. т, когда для любого момента времени ′ > выполняются следующие условия:
|
$M ′ = $M( ) |
∆ ′, |
M( ′) = M( ) |
= ∆ , ( – это номер ячейки) |
29.05.2015
Компьютерный вирус. Определение
29.05.2015
Компьютерный вирус. Определение
29.05.2015
Вирусное множество. Графическая интерпретация
29.05.2015
Вирусное множество.
29.05.2015
Вирусное множество. Свойства
29.05.2015
Вирусное множество. Свойства
29.05.2015