Formal Analysis of ISO/IEC 9798-2 Authentication Standard using AVISPA - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Formal Analysis of ISO/IEC 9798-2 Authentication Standard using AVISPA

Résumé

Use of formal methods is considered as a useful and efficient technique for the validation of security properties of the protocols. In this paper, we analyze the protocols of ISO/IEC 9798-2 entity authentication standard using a state-of-the-art tool for automated analysis named AVISPA. Our analysis of the standard using AVISPA's OFMC and CL-AtSe back-ends shows that the two party protocols are secure against the specified security properties while the back-ends are able to find attacks against unilateral and mutual authentication protocols involving a trusted third party.
Fichier principal
Vignette du fichier
5075a108.pdf (372.24 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01218351 , version 1 (21-10-2015)

Identifiants

Citer

Sheikh Ziauddin, Bruno Martin. Formal Analysis of ISO/IEC 9798-2 Authentication Standard using AVISPA. Asia Joint Conference on Information Security, Jul 2013, Séoul, South Korea. pp.108-114, ⟨10.1109/ASIAJCIS.2013.25⟩. ⟨hal-01218351⟩
103 Consultations
976 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More