Приборы и системы. Управление, контроль, диагностика Аннотация к статье << Назад Моделирование системы безопасности мобильного банка с использованием аппарата сетей Петри А.В. ЯКОВЛЕВВ.Е. ДИДРИХЮ.В. МИНИНТ.И. МОСКВИЧЕВА Предлагается использовать для обеспечения защиты проведения финансовых операций через мобильные устройства и интернет-сайты многофакторной аутентификации и, в частности, одноразовых паролей, являющихся оптимальными по оценкам экспертов с точки зрения надежности и удобства. Исследование процесса аутентификации позволило синтезировать динамическую модель авторизации мобильный кли- ент – банк на основе аппарата сетей Петри. Построенная модель позволяет осуществить, исходя из заданного времени действия пароля, выбор параметров аутентификационного фактора: мощность алфавита, количество символов, время, тре- буемое на ввод очередной попытки. Проведен анализ полученной модели, представленной сетью Петри, на основе ее дина- мических свойств: достижимости, ограниченности, активности, обратимости и достижимости тупиковой разметки. Ключевые слова: сети Петри, динамическая модель системы авторизации, мобильный клиент-банк, аутентификационный фактор. Контактная информация: E-mail: gromovtambov@yandex.ru Стр. 21-27.