Filters








3 Hits in 2.3 sec

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

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

An Enhanced Dragonfly Key Exchange Protocol against Offline Dictionary Attack

Eman Alharbi, Noha Alsulami, Omar Batarfi
2015 Journal of Information Security  
It was claimed that this protocol was secure against off-line dictionary attack, but a new research has proved its vulnerability to off-line dictionary attack and proving step was applied by using "Patched  ...  Unfortunately, this step caused a raise in the computation cost, which made this protocol less appealing than its competitors.  ...  There are many protocols that have been analyzed by this tool such as IKEv1, IKEv2 protocol suits, ISO/IEC 9798 family of authentication protocols and MQV family of protocols.  ... 
doi:10.4236/jis.2015.62008 fatcat:dqc25zh4v5earp5w44bpav65m4