Abstract | ||
---|---|---|
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verier . Java Card technology allows Java applets to run on smart cards. Large memory space re- quirements of the verication process do not allow the im- plementation of a Bytecode Verier embedded in the Java Card Virtual Machine. To address this feasibility problem, we propose a modied verication algorithm that optimizes the use of system memory. The algorithm, inspired to com- pilers' techniques, partitions the code of the methods into control regions. In this way data structures can be dynam- ically allocated and the verication process can be applied locally to a subset of instructions. |
Year | Venue | Keywords |
---|---|---|
2004 | IASTED Conf. on Software Engineering and Applications | bytecode verication,java card,datao w analysis,compilers,java applet,smart card,data structure,virtual machine |
Field | DocType | Citations |
Programming language,Java annotation,Computer science,Real time Java,Java bytecode,Generics in Java,Java Card,Java Modeling Language,Java applet,Java,Operating system | Conference | 4 |
PageRank | References | Authors |
0.52 | 8 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Cinzia Bernardeschi | 1 | 226 | 31.87 |
Luca Martini | 2 | 19 | 3.65 |
Paolo Masci | 3 | 188 | 29.52 |