Xavier Leroy.
On-card bytecode verification for Java card.
In I. Attali and T. Jensen, editors, Smart card programming and
security, proceedings E-Smart 2001, volume 2140 of Lecture Notes in
Computer Science, pages 150-164. Springer, 2001.
Preliminary version of [48]
[ bib |
Local copy |
At publisher's ]
Back
This file was generated by
bibtex2html 1.95.