RUS
ENG
Full version
PEOPLE
Smirnov Alexander Igorevich
Publications in Math-Net.Ru
Testing the Astra Linux OS security subsystem based on a formalized description of the Access Control model
Proceedings of ISP RAS
,
37
:6(2) (2025),
21–36
©
Steklov Math. Inst. of RAS
, 2026