TY  - JOUR
AU  - A. L. Kuznetsova
AU  - S. A. Afonin
TI  - Automata model for verifying attibuted-based access control policy in systems with a finite number of objects
JO  - Vestnik Moskovskogo universiteta. Matematika, mehanika
PY  - 2021
SP  - 57
EP  - 60
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMUMM_2021_5_a7/
LA  - ru
ID  - VMUMM_2021_5_a7
ER  -