@article{VMUMM_2021_5_a7,
     author = {A. L. Kuznetsova and S. A. Afonin},
     title = {Automata model for verifying attibuted-based access control policy in systems with a finite number of objects},
     journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
     pages = {57--60},
     publisher = {mathdoc},
     number = {5},
     year = {2021},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMUMM_2021_5_a7/}
}