%0 Journal Article
%A A. M. Semenov
%T Analysis of Russian key-agreement protocols using automated verification tools
%J Matematičeskie voprosy kriptografii
%D 2017
%P 131-142
%V 8
%N 2
%U http://geodesic.mathdoc.fr/item/MVK_2017_8_2_a10/
%G en
%F MVK_2017_8_2_a10