Instruments and Systems: Monitoring, Control, and Diagnostics Annotation << Back Modeling of security systems of mobile bankingof using the machine Petri nets A.V. YAKOVLEVV.E. DIDRIHYU.V. MININT.I. MOSKVICHEVA It is offered to use for support of a guard of carrying out of financial operations through mobile devices and Internet sites of multifactor authentication and, in particular, the one-time passwords which are optimal according to the experts from the point of view of reliability and convenience. Authentication process research has allowed to synthesise an authorisation dynamic model the mobile client - bank on the basis of a means of Petri nets. The constructed model allows to carry out, proceeding from preset time of an operation of the password, a choice of parametres of an authentication factor: an alphabet potency, an amount of characters, time demanded on input the next attempt. The analysis of the received model presented by a Petri net, on the basis of its dynamic properties is carried out: accessibilities, boundedness, activity, reversibility and an accessibility of a deadlock marking. Keywords: Petri nets, a dynamic model of system of authorisation, the mobile client-bank, an authentication factor. Contacts: E-mail: gromovtambov@yandex.ru Pp. 21-27.