Девянин П. Н. «Ролевая ДП-модель управления доступом и информационными потоками в операционных системах семейства Linux» // Прикладная дискретная математика 2012. №1(15) C.69-90
Девянин П. Н. «Правила преобразования состояний базовой ролевой ДП-модели управления доступом и информационными потоками в операционных системах» // Прикладная дискретная математика 2011. №1(11) C.78-95