On the Relation Between SIM and IND-RoR Security Models for PAKEs

José Becerra, Vincenzo Iovino, Dimiter Ostrev, Marjan Škrobot

2017

Abstract

Password-based Authenticated Key-Exchange (PAKE) protocols allow users, who need only to share a password, to compute a high-entropy shared session key despite passwords being taken from a dictionary. Security models for PAKE protocols aim to capture the desired security properties that such protocols must satisfy when executed in the presence of an active adversary. They are usually classified into i) indistinguishabilitybased (IND-based) or ii) simulation-based (SIM-based). 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.

Paper Citation

in Harvard Style

Becerra J., Iovino V., Ostrev D. and Škrobot M. (2017). On the Relation Between SIM and IND-RoR Security Models for PAKEs . In Proceedings of the 14th International Joint Conference on e-Business and Telecommunications - Volume 6: SECRYPT, (ICETE 2017) ISBN 978-989-758-259-2, pages 151-162. DOI: 10.5220/0006430301510162

in Bibtex Style

@conference{secrypt17,
author={José Becerra and Vincenzo Iovino and Dimiter Ostrev and Marjan Škrobot},
title={On the Relation Between SIM and IND-RoR Security Models for PAKEs},
booktitle={Proceedings of the 14th International Joint Conference on e-Business and Telecommunications - Volume 6: SECRYPT, (ICETE 2017)},
year={2017},
pages={151-162},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006430301510162},
isbn={978-989-758-259-2},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 14th International Joint Conference on e-Business and Telecommunications - Volume 6: SECRYPT, (ICETE 2017)
TI - On the Relation Between SIM and IND-RoR Security Models for PAKEs
SN - 978-989-758-259-2
AU - Becerra J.
AU - Iovino V.
AU - Ostrev D.
AU - Škrobot M.
PY - 2017
SP - 151
EP - 162
DO - 10.5220/0006430301510162