Анализ атрибутивных политик безопасности с использованием методов автоматического планированиятезисы доклада