Génération de tests de vulnérabilité pour la structure des fichiers cap en Java Card
Les cartes à puce Java comportent plusieurs mécanismes de sécurité, dont le vérifieur de code intermédiaire (\emph{$ \ll $Java Card bytecode verifier$ \gg $}), qui est composé de deux parties, la vérification de structure et la vérification de type. Ce mémoire porte sur la génération de tests de...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | French |
| Published: |
Université de Sherbrooke
2016
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11143/8563 |