%0 Journal Article
%A S. E. Prokopyev
%T Modelling of the PKI protocols in the universally composable framework using model checkers
%J Prikladnaâ diskretnaâ matematika
%D 2009
%P 79-92
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2009_1_a4/
%G ru
%F PDM_2009_1_a4