 |
Analyse de sécurité pour la
certification d'applications Java Card.
Mémoire de thèse de doctorat en informatique, IRISA, Projet Lande, Faculté des sciences de Rennes 1. |
|
gzipped postscript,
pdf,
BibTeX.
|
| |
A Formal Specification of the Java Card Applet Firewall (with Igor Siveroni and Thomas
Jensen). Published in the proceesings of Nordic
Workshop on Secure IT-Systems (NordSec), Technical
Report IMM-TR-2001-14 , Technical University of
Denmark, November 2001. |
|
|
| |
An Operationel Semantics of the Java Card
Firewall (with Thomas Jensen and Ewen
Denney). Published in the proceesings of Smart Card
Programming and Security (ESMART), volume 2140 of
Lecture Notes in Computer Science (LNCS), pages
95-110, September 2001. © Springer-Verlag. |
|
gzipped postscript,
pdf,
BibTeX.
|
Retour au sommaire