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.
Swipe to navigate through the chapters of this book
- A Very Small Bytecode-Verifier Based on PCC Algorithm for Smart Card
Prof. Min-Soo Jung
- Springer Berlin Heidelberg
- Sequence number
Neuer Inhalt/© ITandMEDIA