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
Contact us: