1. |
A. L. Kuznetsova, S. A. Afonin, “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 ; Moscow University Mathematics Bulletin, 76:5 (2021), 230–233 |