TY  - JOUR
AU  - M. A. Leonova
AU  - P. N. Devyanin
TI  - Comparison of methods for modeling access control in OS and DBMS in Event-B for the purpose of their verification with Rodin and ProB tools
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2022
SP  - 90
EP  - 99
IS  - 15
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2022_15_a21/
LA  - ru
ID  - PDMA_2022_15_a21
ER  -