ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Journal influence

Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)

Bookmark

Next issue

3
Publication date:
16 September 2025

Efremov, D.V.

(efremov@ispras.ru)
Senior Researcher
Ivannikov Institute for System Programming RAS
Author in:
  1. Runtime verification of industrial information security tools based on formal access control models
  2. Co-authors: Petrenko, A.K., Kornykhin. E.V., Kulyamin, V.V., Semenov, V.A.