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 [71]

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

This file was generated by bibtex2html 1.99.