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

Sheikh Ziauddin 1 Bruno Martin 1
1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MC3
Laboratoire I3S - MDSC - Modèles Discrets pour les Systèmes Complexes
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 : lundi 5 novembre 2018 - 15:48:02
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

140

Téléchargements de fichiers

442