Smirnov Alexander Igorevich

Publications in Math-Net.Ru

1. 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