RUS
ENG
Full version
PEOPLE
Toan N Q
Publications in Math-Net.Ru
A security proof for key exchange protocols
Mat. Vopr. Kriptogr.
,
7
:4 (2016),
117–132
©
Steklov Math. Inst. of RAS
, 2024