TY  - JOUR
AU  - T. Q. Phong
AU  - N. Q. Toan
AU  - K. X. Thanh
TI  - A security proof for key exchange protocols
JO  - Matematičeskie voprosy kriptografii
PY  - 2016
SP  - 117
EP  - 132
VL  - 7
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MVK_2016_7_a7/
LA  - en
ID  - MVK_2016_7_a7
ER  -