Article (Scientific journals)
On the Relation Between SIM and IND-RoR Security Models for PAKEs with Forward Secrecy
Lopez Becerra, José Miguel; Iovino, Vincenzo; Ostrev, Dimiter et al.
2019In E-Business and Telecommunications - 2019, p. 173-198
Peer reviewed
 

Files


Full Text
mainCCIS.pdf
Author postprint (224.51 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Security Models; Password Authenticated Key Exchange; Forward Secrecy; SIM-base security; IND-based security
Abstract :
[en] Password-based Authenticated Key-Exchange (PAKE) protocols allow the establishment of secure communication entirely based on the knowledge of a shared password. Over the last two decades, we have witnessed the debut of a number of prominent security models for PAKE protocols, whose aim is to capture the desired security properties that such protocols must satisfy when executed in the presence of an active adversary. These models are usually classified into (i) indistinguishability-based (IND-based) or (ii) simulation-based (SIM-based). However, the relation between these two security notions is unclear and mentioned as a gap in the literature. In this work, we prove that SIM-BMP security from Boyko et al. (EUROCRYPT 2000) implies IND-RoR security from Abdalla et al. (PKC 2005) and that IND-RoR security is equivalent to a slightly modified version of SIM-BMP security. We also investigate whether IND-RoR security implies (unmodified) SIM-BMP security. The results obtained also hold when forward secrecy is incorporated into the security models in question.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Applied Security and Information Assurance Group (APSIA)
Disciplines :
Computer science
Author, co-author :
Lopez Becerra, José Miguel ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Iovino, Vincenzo ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Ostrev, Dimiter ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Skrobot, Marjan
External co-authors :
no
Language :
English
Title :
On the Relation Between SIM and IND-RoR Security Models for PAKEs with Forward Secrecy
Publication date :
2019
Journal title :
E-Business and Telecommunications - 2019
ISSN :
1865-0929
eISSN :
1865-0937
Publisher :
Springer, Cham
Special issue title :
14th International Joint Conference, ICETE 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Paper
Pages :
173-198
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
FnR Project :
FNR8293135 - A Theory Of Matching Sessions, 2014 (01/05/2015-30/04/2018) - Peter Y. A. Ryan
Funders :
FNR - Fonds National de la Recherche [LU]
Available on ORBilu :
since 31 January 2019

Statistics


Number of views
128 (12 by Unilu)
Number of downloads
170 (3 by Unilu)

Scopus citations®
 
0
Scopus citations®
without self-citations
0
OpenCitations
 
0

Bibliography


Similar publications



Contact ORBilu