Introduction aux cartes à puce
Abstract
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.
Domains
Symbolic Computation [cs.SC]
Origin : Files produced by the author(s)