Filters








3 Hits in 2.4 sec

Analysing and Patching SPEKE in ISO/IEC [article]

Feng Hao, Roberto Metere, Siamak F. Shahandashti, Changyu Dong
2018 arXiv   pre-print
It has also been included into international standards such as ISO/IEC 11770-4 and IEEE P1363.2. In this paper, we analyse the SPEKE protocol as specified in the ISO/IEC and IEEE standards.  ...  The proposed patch has been included into the latest revision of ISO/IEC 11770-4 published in 2017.  ...  ACKNOWLEDGEMENTS We thank Professor Liqun Chen for her invaluable advice and comments on revising SPEKE in ISO/IEC 11770-4.  ... 
arXiv:1802.04900v2 fatcat:m4cqw7f4zbc7xemh633a7z2uui

Analyzing and Patching SPEKE in ISO/IEC

Feng Hao, Roberto Metere, Siamak F. Shahandashti, Changyu Dong
2018 IEEE Transactions on Information Forensics and Security  
It has also been included into international standards such as ISO/IEC 11770-4 and IEEE P1363.2. In this paper, we analyse the SPEKE protocol as specified in the ISO/IEC and IEEE standards.  ...  We propose a patched SPEKE called P-SPEKE and present a formal analysis in the Applied Pi Calculus using ProVerif to show that the proposed patch prevents both attacks.  ...  ACKNOWLEDGEMENTS We thank Professor Liqun Chen for her invaluable advice and comments on revising SPEKE in ISO/IEC 11770-4.  ... 
doi:10.1109/tifs.2018.2832984 fatcat:v4xy7ozpbzeedkvozegvscpnzy

The SPEKE Protocol Revisited [chapter]

Feng Hao, Siamak F. Shahandashti
2014 Lecture Notes in Computer Science  
Both attacks are applicable to the original SPEKE scheme, and are only partially addressed in the ISO/IEC 11770-4 and IEEE 1363.2 standards.  ...  We observe that the original SPEKE specification is subtly different from those defined in the ISO/IEC 11770-4 and IEEE 1363.2 standards.  ...  Alice → Bob : HMAC(κ, "KC 1 U" Â B g x g y ) Bob → Alice : HMAC(κ, "KC 1 U", B Â g y g x ) In the above key confirmation method, HMAC is a hash-based MAC algorithm and the string "KC 1 U" refers to unilateral  ... 
doi:10.1007/978-3-319-14054-4_2 fatcat:yph3h2cgmff7ho2x5wpvpjbti4