Для цитирования:

Токарев В.Л. Формальные модели безопасности. Чебышевский сборник. 2021;22(1):488-494. https://doi.org/10.22405/2226-8383-2021-22-1-488-494

For citation:

Tokarev V.L. Formal security models. Chebyshevskii Sbornik. 2021;22(1):488-494. (In Russ.) https://doi.org/10.22405/2226-8383-2021-22-1-488-494