В статті розроблена модель формального опису систем захисту, яка являється моделлю безпеки з повним перекриттям. В ній визначається повний перелік об'єктів захисту інформації.І
В статье разработана модель формального описания систем защиты, которая является моделью безопасности с полным перекрытием. В ней определяется полный перечень объектов защиты информации.
