2003 | OriginalPaper | Chapter
A Very Small Bytecode-Verifier Based on PCC Algorithm for Smart Card
Authors : Jeung-Bo Cho, Prof. Min-Soo Jung
Published in: Web and Communication Technologies and Internet-Related Social Issues — HSI 2003
Publisher: Springer Berlin Heidelberg
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. 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.