Моделирование безопасности управления доступом и информационными потоками на основе ДП-моделей