%0 Journal Article
%A M. A. Leonova
%A P. N. Devyanin
%T 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
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2022
%P 90-99
%N 15
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2022_15_a21/
%G ru
%F PDMA_2022_15_a21