@article{MVK_2016_7_a7,
     author = {T. Q. Phong and N. Q. Toan and K. X. Thanh},
     title = {A security proof for key exchange protocols},
     journal = {Matemati\v{c}eskie voprosy kriptografii},
     pages = {117--132},
     publisher = {mathdoc},
     volume = {7},
     year = {2016},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MVK_2016_7_a7/}
}