Приборы и системы. Управление, контроль, диагностика Аннотация к статье << Назад Сетевая динамическая модель ролевого разграничения доступа информационно-управляющей системы ИВАНОВА О.Г. ЯКОВЛЕВ А.В. ЯКОВЛЕВА О.М. МИНИН Ю.В. В настоящее время одной из актуальных задач теории компьютерной безопасности является разработка математических моделей безопасности управления доступом и информационными потоками в современных информационных системах. Дан- ная задача возникает как при теоретическом анализе безопасности информационных систем с применением их формальных моделей, так и при тестировании механизмов защиты с использованием процедур, методов и средств автоматизации и компьютерного моделирования. Представленная модель ролевого разграничения доступа к компонентам информационной системы управления воздушным движением на основе аппарата сетей Петри подвергается исследованию статических и динамических свойств, что позволяет ее использовать в качестве основы при разработке алгоритмического и программного обеспечения. Дан- ная модель имеет ряд особенностей, отражающих специфику функционирования, структуру связей рабочих мест информационной системы управления воздушным движением (УВД) в режиме реального времени. Разработанное на основе модели про- граммное обеспечение повысит информационную безопасность системы УВД и позволит упростить ее администрирование. Ключевые слова: модель ролевого разграничения доступа, модель администрирования ролевого управления доступом, компоненты информационной системы, сетевая модель ролевого разграничение доступа Контактная информация: E-mail: itizi@bk.ru Стр. 42-49.