Описан язык задания моделей логического разграничения доступа к ресурсам информационно-вычислительных систем. Рассмотрены вопросы автоматизированного анализа таких моделей, заданных с помощью описанного языка. Ключевые слова: информационная безопасность, разграничение доступа, интеграция моделей разграничения доступа.
