Анализ безопасности управления доступом в компьютерных системах Денис Колегов

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