共 50 条
- [1] A space-aware bytecode verifier for java cards [J]. Electron. Notes Theor. Comput. Sci., 1 SPEC. ISS. (237-254):
- [2] Research on On-card Bytecode Verifier for Java']Java Cards [J]. JOURNAL OF COMPUTERS, 2009, 4 (06) : 502 - 509
- [3] Modeling the Java']Java Bytecode Verifier [J]. SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (03) : 327 - 342
- [6] Bytecode verification on Java']Java smart cards [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2002, 32 (04): : 319 - 340
- [7] An Abstract Interpretation Approach for Enhancing the Java']Java Bytecode Verifier [J]. COMPUTER JOURNAL, 2010, 53 (06): : 679 - 700
- [8] On the implementation of a stand-alone Java']Java™ Bytecode Verifier [J]. IEEE 9TH INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 2000, : 189 - 194
- [10] Proving the soundness of a Java']Java bytecode verifier specification in Isabelle/HOL [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1999, 1579 : 89 - 103