ИСТИНА

Shchepetkov Ilya V.

Соавторы: Хорошилов А.В., Кулямин В.В., Девянин П.Н., Петренко А.К., Ефремов Д.В., Корныхин Е.В.

9 статей, 1 книга, 1 доклад на конференции, 1 тезисы доклада

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

IstinaResearcherID (IRID): 26295841

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

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

  • • 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 Мониторинг и тестирование на основе многоуровневых спецификаций программ
    • Петренко А.К., Ефремов Д.В., Корныхин Е.В., Кулямин В.В., Хорошилов А.В., Щепетков И.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 6, с. 7-18 DOI
  • • 2017 ADV_SPM — Формальные модели политики безопасности на практике
    • Хорошилов А.В., Щепетков И.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 29, № 3, с. 43-56 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

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

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