|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
1. |
П. Н. Девянин, “О разработке проекта национального стандарта ГОСТ Р «Защита информации. Формальная модель управления доступом. Часть 3. Рекомендации по разработке»”, Труды ИСП РАН, 36:3 (2024), 63–82 |
|
2023 |
2. |
П. Н. Девянин, “Результаты переработки уровней ролевого управления доступом и мандатного контроля целостности формальной модели управления доступом ОС Astra Linux”, Труды ИСП РАН, 35:5 (2023), 7–22 |
|
2022 |
3. |
М. А. Леонова, П. Н. Девянин, “Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB”, ПДМ. Приложение, 2022, № 15, 90–99 |
4. |
А. О. Кокорин, С. Д. Тиевский, П. Н. Девянин, “Приемы дедуктивной верификации программного кода с использованием AstraVer Toolset”, ПДМ. Приложение, 2022, № 15, 80–90 |
5. |
В. В. Егорова, А. С. Панов, В. Ю. Тележников, П. Н. Девянин, “Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС”, Труды ИСП РАН, 34:4 (2022), 21–34 |
|
2021 |
6. |
П. Н. Девянин, М. А. Леонова, “Приёмы описания модели управления доступом ОССН Astra Linux Special Edition на формализованном языке метода Event-B для обеспечения её верификации инструментами Rodin и ProB”, ПДМ, 2021, № 52, 83–96 |
4
|
7. |
П. Н. Девянин, М. А. Леонова, “О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB”, ПДМ. Приложение, 2021, № 14, 126–132 |
1
|
8. |
П. Н. Девянин, В. Ю. Тележников, А. В. Хорошилов, “Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем”, Труды ИСП РАН, 33:5 (2021), 25–40 |
3
|
|
2020 |
9. |
П. Н. Девянин, В. В. Кулямин, А. К. Петренко, А. В. Хорошилов, И. В. Щепетков, “Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы”, Труды ИСП РАН, 32:1 (2020), 7–26 |
4
|
|
2019 |
10. |
П. Н. Девянин, “О моделировании в рамках МРОСЛ ДП-модели мандатных контроля целостности и управления доступом в СУБД PostgreSQL”, ПДМ. Приложение, 2019, № 12, 161–165 |
|
2018 |
11. |
П. Н. Девянин, “Уровень запрещающих ролей иерархического представления МРОСЛ ДП-модели”, ПДМ, 2018, № 39, 58–71 |
3
|
12. |
П. Н. Девянин, “Подходы к моделированию управления доступом в СУБД PostgreSQL в рамках МРОСЛ ДП-модели”, ПДМ. Приложение, 2018, № 11, 95–99 |
2
|
|
2017 |
13. |
П. Н. Девянин, “Реализация невырожденной решётки уровней целостности в рамках иерархического представления МРОСЛ ДП-модели”, ПДМ. Приложение, 2017, № 10, 111–114 |
2
|
14. |
П. Н. Девянин, “О проблеме представления формальной модели политики безопасности операционных систем”, Труды ИСП РАН, 29:3 (2017), 7–16 |
2
|
|
2016 |
15. |
П. Н. Девянин, “О результатах формирования иерархического представления МРОСЛ ДП-модели”, ПДМ. Приложение, 2016, № 9, 83–87 |
3
|
|
2015 |
16. |
П. Н. Девянин, “Необходимые условия нарушения безопасности информационных потоков по времени в рамках МРОСЛ ДП-модели”, ПДМ. Приложение, 2015, № 8, 81–83 |
1
|
|
2014 |
17. |
П. Н. Девянин, “Условия безопасности информационных потоков по памяти в рамках МРОСЛ ДП-модели”, ПДМ. Приложение, 2014, № 7, 82–85 |
1
|
|
2013 |
18. |
П. Н. Девянин, “Администрирование системы в рамках мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в ОС семейства Linux”, ПДМ, 2013, № 4(22), 22–40 |
3
|
19. |
П. Н. Девянин, “Корректность правил преобразования состояний системы в рамках мандатной сущностно-ролевой ДП-модели ОС семейства Linux”, ПДМ. Приложение, 2013, № 6, 58–59 |
2
|
|
2012 |
20. |
П. Н. Девянин, “Ролевая ДП-модель управления доступом и информационными потоками в операционных системах семейства Linux”, ПДМ, 2012, № 1(15), 69–90 |
6
|
21. |
П. Н. Девянин, “Результаты анализа условий реализации информационных потоков по памяти в рамках РОСЛ ДП-модели”, ПДМ. Приложение, 2012, № 5, 66–67 |
|
2011 |
22. |
П. Н. Девянин, “О результатах разработки ролевой ДП-модели для операционных систем семейства Linux”, ПДМ, 2011, № приложение к № 4, 42–43 |
23. |
П. Н. Девянин, “Формирование словаря терминов теории моделирования безопасности управления доступом и информационными потоками в компьютерных системах”, ПДМ, 2011, № 2(12), 17–39 |
1
|
24. |
П. Н. Девянин, “Правила преобразования состояний базовой ролевой ДП-модели управления доступом и информационными потоками в операционных системах”, ПДМ, 2011, № 1(11), 78–95 |
3
|
|
2010 |
25. |
П. Н. Девянин, “Результаты анализа безопасности систем с простыми траекториями функционирования в рамках базовой ролевой ДП-модели”, ПДМ, 2010, № приложение к № 3, 49–51 |
26. |
П. Н. Девянин, “Анализ в рамках базовой ролевой ДП-модели безопасности систем с простыми траекториями функционирования”, ПДМ, 2010, № 1(7), 16–36 |
3
|
|
2009 |
27. |
П. Н. Девянин, “Обзорные лекции по моделям безопасности компьютерных систем”, ПДМ, 2009, № приложение к № 2, 151–190 |
28. |
П. Н. Девянин, “Преподавание моделей управления доступом и информационными потоками в рамках дисциплины “Теоретические основы компьютерной безопасности””, ПДМ, 2009, № приложение к № 1, 39–41 |
29. |
П. Н. Девянин, “Результаты анализа условий получения доступа владения в рамках базовой ролевой ДП-модели без информационных потоков по памяти”, ПДМ, 2009, № приложение к № 1, 38–39 |
30. |
П. Н. Девянин, “Анализ условий получения доступа владения в рамках базовой ролевой ДП-модели без информационных потоков по памяти”, ПДМ, 2009, № 3(5), 69–84 |
3
|
|
2008 |
31. |
П. Н. Девянин, “Базовая ролевая ДП-модель”, ПДМ, 2008, № 1(1), 64–70 |
7
|
|