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

Abstract : 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.
Type de document :
Communication dans un congrès
Asia Joint Conference on Information Security, Jul 2013, Séoul, South Korea. pp.108-114, 2013, 8th Asia Joint Conference on Information Security (AsiaJCIS 2013). 〈10.1109/ASIAJCIS.2013.25〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01218351
Contributeur : Bruno Martin <>
Soumis le : mercredi 21 octobre 2015 - 08:54:48
Dernière modification le : vendredi 23 octobre 2015 - 01:05:19
Document(s) archivé(s) le : vendredi 22 janvier 2016 - 19:56:19

Fichier

5075a108.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

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, 2013, 8th Asia Joint Conference on Information Security (AsiaJCIS 2013). 〈10.1109/ASIAJCIS.2013.25〉. 〈hal-01218351〉

Partager

Métriques

Consultations de
la notice

82

Téléchargements du document

260