СИНТЕЗ ДИНАМИЧЕСКОЙ МОДЕЛИ ПОДСИСТЕМЫ РАЗГРАНИЧЕНИЯ ДОСТУПА <i>RADIUS</i>
Проведен анализ подсистемы разграничения доступа Radius. Выявлены основные функциональные требования, предъявляемые к ней в современных информационных системах. Рассмотрено пошаговое выполнение протокола и приведена структурная схема его функционирования. Сетевая динамическая модель представлена вербально и формально с учетом особенностей реализуемого протокола, обсуждается алгоритм обработки клиентского запроса сервером. Приведено полное описание модели, включая описания позиций, переходов, начальной маркировки сети, а также дерево достижимости маркировки