Xavier Leroy. On-card bytecode verification for Java Card. In E-SMART 2001: Smart card programming and security, number 2140 in LNCS, pages 150--164. Springer, 2001.

Preliminary version of [60]

bib | DOI | Local copy | At publisher's site ] Back


This file was generated by bibtex2html 1.98.