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:
14 September 2026

Kulyamin, V.V.

Ph.D (kuliamin@ispras.ru)
Leading Researcher
Ivannikov Institute for System Programming RAS, Lomonosov Moscow State University, National Research University, Higher School of Economics
Author in:
  1. Runtime verification of industrial information security tools based on formal access control models
  2. Co-authors: Petrenko, A.K., Efremov, D.V., Kornykhin. E.V., Semenov, V.A.