ON SECURITY OF THE SESPAKE PROTOCOL

被引:1
作者
Alekseev, E. K. [1 ]
Smyshlyaev, S., V [1 ]
机构
[1] CryptoPro, Moscow, Russia
来源
PRIKLADNAYA DISKRETNAYA MATEMATIKA | 2020年 / 50期
关键词
models and methods in information security; cryptographic protocols; AUTHENTICATED KEY EXCHANGE;
D O I
10.17223/20710410/50/1
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
The Security Evaluated Standardized Password Authenticated Key Exchange (SES-PAKE) protocol is standardized in Russia as R 50.1.115-2016. The current paper provides analysis of the protocol in relevant adversary models. We define new indistinguishability-based adversary model with a threat of false authentication that is an extension of the original indistinguishability-based model up to the case of protocols with authentication step without key diversification. We prove the protocol security in two adversary models with a classic threat of distinguishing a generated session key from a random string and with a threat of false authentication.
引用
收藏
页码:5 / 41
页数:37
相关论文
共 28 条
[1]  
Abdalla M, 2005, LECT NOTES COMPUT SC, V3386, P65
[2]  
Abdalla M, 2005, LECT NOTES COMPUT SC, V3376, P191
[3]  
Abdalla M., REDUCING NEED TRUSTE
[4]  
Ahmetzyanova L. R., 2018, MATEM VOPR KRIPTOGR, V9, P23
[5]  
Alekseev E. K., 2020, MATEM VOPR KRIPTOGR
[6]  
[Алексеев Евгений Константинович Alekseev Evgeny Konstantinovich], 2018, [Математические вопросы криптографии, Matematicheskie voprosy kriptografii], V9, P5, DOI 10.4213/mvk260
[7]  
[Алексеев Евгений Константинович Alekseev Evgeny Konstantinovich], 2016, [Математические вопросы криптографии, Matematicheskie voprosy kriptografii], V7, P7
[8]  
[Anonymous], 2003, ACMCCS
[9]  
[Anonymous], 1993, ACM CCS 1993, DOI DOI 10.1145/168588.168596
[10]  
[Anonymous], 2012, GOST R 34.11-2012 Information Technology. Cryptographic Data Security. Hash Function