Références

1

I. Attali, D. Caromel, and M. Russo. A formal and executable semantics for Java. In Proceedings of Formal Underpinnings of Java, an OOPSLA'98 Workshop, Vancouver, CA, October 1998. Technical Report, Princeton University. file://babar.inria.fr:/pub/croap/mrusso/OopslaWorkshop98.ps.gz.

2

Courbis C. Simulation d'applications Java Card. Technical report, Dea d'Informatique de Lyon (DIL), Juillet 1998.

http://www.inria.fr/croap/personnel/Carine.Courbis/Pubs/DEA/DEAReport.prn.gz.

3

J. Posegga and H. Vogt. Byte code verification for java smart cards based on model checking. In In Proc. of the Fifth European Symposium on Research in Computer Security (ESORICS'98), volume LNCS 1485. Springer-Verlag, 1998.