Industrial Automatic Control Systems and Controllers Annotation << Back Mathematical Models of the Optimal Parameters of the Mechanisms Antivirus Session Type S.V. Skryl’, T.V. Meshcheryakova, D.A. Golubkov, V.I. Arutyunova We formulate and prove a number of assertions concerning the submission of interim resource of the computer system (CS) used for the implementation of anti-virus protection procedures, session type, in the form of temporary reserve in the form of temporal redundancy. The defi nition of these forms of temporary resource CS considered and their impact on the timeliness of information processing in the CS. We give a model of optimal realization of the time value antivirus protection circuit-type and period of implementation of the relevant security procedures. Keywords: type of session means antivirus protection; time resource of the computer system; Slack; temporal redundancy; the implementation time antivirus protection during the implementation of anti-virus protection procedures. Contacts: E-mail: mescher73@mail.ru, E-mail: valentina11011008@yandex.ru Pp. 61-65.