Introduction aux cartes à puce

Nicolas Stouls

Rapport (Rapport Technique) Année : 2006

Introduction aux cartes à puce

(1)

Nicolas Stouls

Fonction : Auteur
PersonId : 170279
IdHAL : nicolas-stouls
ORCID : 0000-0002-7406-9583
IdRef : 126274134

Laboratoire Logiciels Systèmes Réseaux

Résumé

Ce document est une petite introduction au monde des cartes à puce permettant de connaître un peu mieux ce domaine. Cela permet ensuite de mieux appréhender la vérification de leurs propriétés de sécurités.

Domaines

Calcul formel [cs.SC]

Fichier principal

CartesAPuce.pdf (227.1 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Nicolas Stouls : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00384214

Soumis le : jeudi 14 mai 2009-16:15:46

Dernière modification le : jeudi 4 avril 2024-21:37:24

Archivage à long terme le : jeudi 10 juin 2010-23:11:16

Dates et versions

inria-00384214 , version 1 (14-05-2009)

Identifiants

HAL Id : inria-00384214 , version 1

Citer

Nicolas Stouls. Introduction aux cartes à puce. [Rapport Technique] 2006, pp.15. ⟨inria-00384214⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS LARA

80 Consultations

52 Téléchargements

Introduction aux cartes à puce

Résumé

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager