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