论文信息 - An Approach to the Generation of High-Assurance Java Card Applets - 字舞流文

An Approach to the Generation of High-Assurance Java Card Applets

Alessandro Coglio

[1] Zhenyu Qian,et al. A formal specification of Java class loading , 2000, OOPSLA '00.

[2] Alessandro Coglio,et al. Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions , 2001, Concurr. Comput. Pract. Exp..

[3] Douglas R. Smith,et al. Planware-domain-specific synthesis of high-performance schedulers , 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).

[4] Alessandro Coglio,et al. Simple Verification Technique for Complex Java Bytecode Subroutines , 2001 .

[5] Alessandro Coglio,et al. Improving the official specification of Java bytecode verification , 2003, Concurr. Comput. Pract. Exp..

[6] Z. Chen. Java Card Technology for Smart Cards: Architecture and Programmer''s Guide. The Java Series. Addis , 2000 .

[7] Wolfgang Rankl,et al. Smart Card Handbook , 1997 .