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

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

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

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

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

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

Ефремов Д.В.

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