%0 Journal Article
%A T. Q. Phong
%A N. Q. Toan
%A K. X. Thanh
%T A security proof for key exchange protocols
%J Matematičeskie voprosy kriptografii
%D 2016
%P 117-132
%V 7
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MVK_2016_7_a7/
%G en
%F MVK_2016_7_a7