%0 Journal Article
%A V. L. Tokarev
%T Formal security models
%J Čebyševskij sbornik
%D 2021
%P 488-494
%V 22
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CHEB_2021_22_1_a33/
%G ru
%F CHEB_2021_22_1_a33