О эквивалентности конечно-автоматныхатрибутных политик информационной безопасноститезисы доклада