Introduction aux cartes à puce
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]
Origine : Fichiers produits par l'(les) auteur(s)