%0 Journal Article
%A A. Yu. Nesterenko
%A A. M. Semenov
%T Methodology for assessing the security of cryptographic protocols
%J Prikladnaâ diskretnaâ matematika
%D 2022
%P 33-82
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2022_2_a3/
%G ru
%F PDM_2022_2_a3