На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)
Подать статью

Авторитетность издания

ВАК - К1
RSCI, ядро РИНЦ

Добавить в закладки

Следующий номер на сайте

№2
Ожидается:
14 Июня 2026
RSS
Подписаться на RSS

Петренко А.К.

доктор физико-математических наук (petrenko@ispras.ru)
профессор, зав. отделом
Институт системного программирования имени В.П. Иванникова РАН, Московский государственный университет имени М.В. Ломоносова, НИУ Высшая школа экономики
Автор статей:
  1. Динамическая верификация промышленных средств защиты информации на основе формальных моделей управления доступом
    2. Соавторы статьи: Ефремов Д.В., Корныхин Е.В., Кулямин В.В., Семенов В.А.