Kuznetsova Alevtina L'vovna

Publications in Math-Net.Ru

1. Automata model for verifying attibuted-based access control policy in systems with a finite number of objects
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2021, no. 5,  57–60