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