Программная реализация процедуры верификации основанных на атрибутах политик доступа в среде UPPAAL

Программа предназначена для отображения и верификации политик разграничения доступа, основанных на модели Attribute-Based Access Control (ABAC), с использованием метода верификации Model checking. Интерфейс взаимодействия с пользователем – графический, оконный. Область применения – корпоративные информационные системы, облачные инфраструктуры, требующие большой гибкости в разграничении доступа к информационным ресурсам. Входные данные: xml-код, описывающий политику разграничения доступа. Выходные данные: результат верификации политики разграничения доступа, показывающий, в случае ее наличия, место нахождения ошибок. Выделяется несколько режимов функционирования: формирование политики, отображение политики, обучение верификации политики на тестовых примерах, верификация конкретной политики. Предоставляется возможность наглядного отображения места расположения ошибки в политике разграничения доступа в результате ее верификации.