Research on On-card Bytecode Verifier for Java Cards.
Tongyang WangPengfei YuJun-jun WuXin-long MaPublished in: J. Comput. (2009)
Keyphrases
- java card
- smart card
- byte code
- java virtual machine
- source code
- information security
- java bytecode
- rfid tags
- security requirements
- virtual machine
- open source
- security analysis
- static analysis
- java programs
- program execution
- database systems
- security model
- development environment
- memory management
- countermeasures
- power consumption
- database applications
- low cost
- java language
- programming language
- neural network