Analyzing and Patching SPEKE in ISO/IEC

Hao, Feng, Metere, Roberto, Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 et al. (1 more author) (2018) Analyzing and Patching SPEKE in ISO/IEC. Information Forensics and Security, IEEE Transactions on. pp. 2844-2855. ISSN 1556-6013

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details
Keywords: key exchange,SPEKE,ISO standards,IEC standards,Pi Calculus,ProVerif,Security,Impersonation attack,key agreement,formal methods,Password-based authenticated key exchange,Computer Science (miscellaneous),Safety, Risk, Reliability and Quality,Computer Networks and Communications
Dates:
  • Submitted: February 2018
  • Accepted: 10 April 2018
  • Published (online): 3 May 2018
  • Published: November 2018
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 10 Apr 2018 14:40
Last Modified: 07 Nov 2021 11:42
Published Version: https://doi.org/10.1109/TIFS.2018.2832984
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1109/TIFS.2018.2832984
Related URLs:

Download

Filename: Analysing_and_Patching_SPEKE_in_ISO_IEC.pdf

Description: Analysing_and_Patching_SPEKE_in_ISO_IEC

Share / Export

Statistics