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

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

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

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

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

№3
Ожидается:
14 Сентября 2026
RSS
Подписаться на RSS

Семенов В.А.

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