В статье обосновывается ряд методических положений позволяющих оценить возможности и определить объем использования временного ресурса компьютерных систем для реализации процедур антивирусной защиты резидентного типа. Приводятся формальные правила формирования информационной среды, защищенной средствами антивирусной защиты рассматриваемого типа. Рассматривается вариант формализованного представления процессов идентификации состояний программного обеспечения компьютерных систем антивирусными средствами резидентного типа. Приводится математическая зависимость связывающая характеристики эффективности механизмов антивирусной защиты, построенных на основе средств резидентного типа от функциональных характеристик процесса обработки информации в компьютерных системах. Обосновывается математическая модель процесса обработки информации в компьютерной системе в условиях применения средств антивирусной защиты резидентного типа, позволяющая определить оптимальный объем временных ресурсов компьютерной системы, необходимый для реализации такого рода средств.
展开▼