Leonova Mariya Aleksandrovna

Publications in Math-Net.Ru

1. Comparison of methods for modeling access control in OS and DBMS in Event-B for the purpose of their verification with Rodin and ProB tools
   
   Prikl. Diskr. Mat. Suppl., 2022, no. 15,  90–99
2. The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB
   
   Prikl. Diskr. Mat., 2021, no. 52,  83–96
3. About methods of developing consistent description of the MROSL DP-model for OS and DBMS for its verification with Rodin and ProB tools
   
   Prikl. Diskr. Mat. Suppl., 2021, no. 14,  126–132