2003 | OriginalPaper | Buchkapitel
A Very Small Bytecode-Verifier Based on PCC Algorithm for Smart Card
verfasst von : Jeung-Bo Cho, Prof. Min-Soo Jung
Erschienen in: Web and Communication Technologies and Internet-Related Social Issues — HSI 2003
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Java is a popular development platform for mobile code systems, because it ensures application portability and mobility. The Java Virtual Machine verifies statically(during the loading phase) the program is well-behaved with intermediate(as called bytecode). This is done by a software security module called the bytecode verifier. Smart card that provide a Java Virtual Machine, called Java Card, are not supplied with such a verifier because of its complexity. In this paper, we propose a bytecode verifier with efficient algorithm to adapt to the hardware constraints of smart card.