ИСТИНА

Девянин Петр Николаевич

доктор технических наук

профессор по специальности № .

ООО «РусБИТех-Астра», научный руководитель

Соавторы: Хорошилов А.В., Shchepetkov I.V., Кулямин В.В., Петренко А.К., Ефремов Д.В., Тележников В.Ю., Тиевский С.Д.

16 статей, 1 книга, 2 доклада на конференциях, 1 тезисы доклада, 1 членство в диссертационном совете

Количество цитирований статей в журналах по данным Web of Science: 8, Scopus: 15

IstinaResearcherID (IRID): 26295838

Деятельность

• Статьи в журналах

  • • 2022 Approaches for improving the efficiency of protected OS components fuzzing
    • Egorova Victoriia Vyacheslavovna, Panov Alexey Sergeevich, Telezhnikov Vladimir Yurevich, Devyanin Petr Nikolaevich
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 34, № 4, с. 21-34 DOI
  • • 2022 ПРИЕМЫ ДЕДУКТИВНОЙ ВЕРИ ФИКАЦИИ ПРОГРАММНОГО КОДА С ИСПОЛЬЗОВАНИЕМ ASTRAVER TOOLSET
    • Кокорин Артем Олегович, Тиевский Станислав Дмитриевич, Девянин Петр Николаевич
    • в журнале Прикладная дискретная математика. Приложение, издательство Изд-во ТГУ (Томск), № 15, с. 80-90
  • • 2022 Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода event-b с целью их верификации инструментами rodin и prob
    • Леонова Мария Александровна, Девянин Петр Николаевич
    • в журнале Прикладная дискретная математика. Приложение, издательство Изд-во ТГУ (Томск), № 15, с. 90-99
  • • 2021 The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB
    • Devyanin P.N., Leonova M.A.
    • в журнале Прикладная дискретная математика, издательство Изд-во ТГУ (Томск), № 52, с. 83-96 DOI
  • • 2021 О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB
    • Девянин Петр Николаевич, Леонова Мария Александровна
    • в журнале Прикладная дискретная математика. Приложение, издательство Изд-во ТГУ (Томск), № 14, с. 126-132
  • • 2021 Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем
    • Девянин П.Н., Тележников В.Ю., Хорошилов А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 33, № 5, с. 25-40
  • • 2020 Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System
    • Petrenko A.K., Devyanin P.N., Efremov D.V., Khoroshilov A.V., Kuliamin V.V., Shchepetkov I.V.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 46, № 7, с. 443-453
  • • 2020 Интеграция мандатного и ролевого управления доступом и мандатного контроля целостности в верифицированной иерархической модели безопасности операционной системы
    • Девянин П.Н., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 1, с. 7-26 DOI
  • • 2020 Применение подтипов и тотальных функций формального метода Event-B для описания и верификации МРОСЛ ДП-модели
    • Девянин П.Н., Леонова М.А.
    • в журнале Программная инженерия, издательство Новые технологии (Москва), том 11, № 4, с. 230-241
  • • 2019 О моделировании в рамках МРОСЛ ДП-модели мандатных контроля целостности и управления доступом в СУБД PostgreSQL
    • Девянин Петр Николаевич
    • в журнале Прикладная дискретная математика. Приложение, издательство Изд-во ТГУ (Томск), № 12, с. 161-165
  • • 2018 THE LEVEL OF NEGATIVE ROLES OF THE HIERARCHICAL REPRESENTATION OF MROSL DP-MODEL
    • Devyanin P.N.
    • в журнале Прикладная дискретная математика, издательство Изд-во ТГУ (Томск), № 39, с. 58-71 DOI
  • 
    • 2016 Comparison of specification decomposition methods in Event-B
    • Devyanin P.N., Kulyamin V.V., Petrenko A.K., Khoroshilov A.V., Shchepetkov I.V.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 42, № 4, с. 198-205 DOI
  • 
    • 2016 Using Refinement in Formal Development of OS Security Model
    • Devyanin Petr N., Khoroshilov Alexey V., Kuliamin Victor V., Petrenko Alexander K., Shchepetkov Ilya V.
    • в журнале Lecture Notes in Computer Science, том 9609, с. 107-115 DOI
  • • 2016 Сравнение способов декомпозиции спецификаций на Event-B
    • Девянин П.Н., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В.
    • в журнале Программирование, № 4, с. 17-26
  • 
    • 2014 Formal Verification of OS Security Model with Alloy and Event-B
    • Devyanin Petr N., Khoroshilov Alexey V., Kuliamin Victor V., Petrenko Alexander K., Shchepetkov Ilya V.
    • в журнале Lecture Notes in Computer Science, том 8477, с. 309-313 DOI
  • • 2014 О представлении МРОСЛ ДП-модели в формализованной нотации Event-B
    • Девянин П.Н., Кулямин В.В., Хорошилов А.В., Щепетков И.В.
    • в журнале Проблемы информационной безопасности. Компьютерные системы, № 3, с. 7-15

• Книги

  • • 2019 Моделирование и верификация политик безопасности управления доступом в операционных системах
    • Девянин П.Н., Ефремов Д.В., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В.
    • место издания Горячая линия – Телеком Москва, ISBN 978-5-9912-0787-4, 214 с.

• Доклады на конференциях

  • • 2019 Формальное моделирование механизмов управления доступом в современных операционных системах (Устный)
    • Авторы: Петренко А.К., Кулямин В.В., Щепетков И.В., Хорошилов А.В., Девянин П.Н.
    • «Ломоносовские чтения - 2019». Секция «ВМК», Москва, МГУ, Россия, 15-25 апреля 2019
  • • 2018 Архитектура и возможности средств защиты информации на основе LSM (Устный)
    • Авторы: Кулямин В.В., Медведев Д., Девянин П.Н.
    • OS DAY 2018, Москва, Россия, 17-18 мая 2018

• Тезисы докладов

  • • 2019 Формальное моделирование механизмов управления доступом в современных операционных системах
    • Петренко А.К., Кулямин В.В., Девянин П.Н., Хорошилов А.В., Щепетков И.В.
    • в сборнике Научная конференция ЛОМОНОСОВСКИЕ ЧТЕНИЯ. Тезисы докладов. 15-25 апреля 2019 г., серия СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ, Факультет вычислительной математики и кибернетики, издательство ООО "МАКС Пресс" (Москва), тезисы, с. 49-50

• Членство в диссертационных советах

  • • с 22 января 2023 МГУ.012.3, МГУ имени М.В. Ломоносова, Механико-математический факультет
    • 1.2.4 - Кибербезопасность (физ.-мат. науки)
    • Действующие члены совета: Садовничий В.А., Васенин В.А., Семенов А.Л., Галатенко А.В., Аветисян А.И., Алексеев В.Б., Анашин В.С., Бабин Д.Н., Воронцов К.В., Гасанов Э.Э., Гашков С.Б., Голубцов П.В., Девянин П.Н., Логачев О.А., Ложкин С.А., Махортов С.Д., Местецкий Л.М., Нестеренко Ю.В., Романов Д.С., Сергеев И.С., Соколов И.А., Тимонина Е.Е., Фомичев В.М., Часовских А.А., Черепнев М.А., Чечкин А.В.