Geodesic
A security proof for key exchange protocols
Matematičeskie voprosy kriptografii, Tome 7 (2016), pp. 117-132

Voir la notice de l'article provenant de la source Math-Net.Ru

We present a technique of modular security proofs for key exchange protocols in the modified Bellare–Rogaway (mBR) model introduced by C. Kudla and K. G. Paterson. We have applied this technique to modify Protocol 1 in their paper to Protocol 2 and analyze its security in this model. These two protocols differ only in the combination of the ephemeral and long-term private keys in the computation of the session key. Our method for proving strong partnering of Protocol may be applied to prove a same result (stated without proof) by C. Kudla and K. G. Paterson. 
@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/}
}
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  - 
%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
T. Q. Phong; N. Q. Toan; K. X. Thanh. A security proof for key exchange protocols. Matematičeskie voprosy kriptografii, Tome 7 (2016), pp. 117-132. http://geodesic.mathdoc.fr/item/MVK_2016_7_a7/