Formal Analysis of CWA 14890-1

Abstract : Formal analysis is of importance in order to increase confidence that the protocol satisfies its security requirements. In particular, the results obtained from the formal analysis of the smart card security protocols when smart cards are used as a specific type of Secure Signature Creation Devices (SSCDs) are presented. SSCDs are developed to support the EU-directive on electronic signatures. In this paper, we focus on security properties, called the authentication and secrecy. The device authentication protocols mentioned in CWA 14890-1 are modeled using the high-level protocol specification language HLPSL and verified with the help of AVISPA tool. Our formal analysis does not reveal any weaknesses of the CWA 14890-1 protocol suite.
Type de document :
Communication dans un congrès
Emmanuel Prouff. 10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. Springer, Lecture Notes in Computer Science, LNCS-7079, pp.314-335, 2011, Smart Card Research and Advanced Applications. 〈10.1007/978-3-642-27257-8_20〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01596294
Contributeur : Hal Ifip <>
Soumis le : mercredi 27 septembre 2017 - 14:46:04
Dernière modification le : mardi 10 octobre 2017 - 13:47:57

Fichier

978-3-642-27257-8_20_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Ashar Javed. Formal Analysis of CWA 14890-1. Emmanuel Prouff. 10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. Springer, Lecture Notes in Computer Science, LNCS-7079, pp.314-335, 2011, Smart Card Research and Advanced Applications. 〈10.1007/978-3-642-27257-8_20〉. 〈hal-01596294〉

Partager

Métriques

Consultations de la notice

44

Téléchargements de fichiers

7