Java bytecode verification on Java cards
暂无分享,去创建一个
[1] Robert O'Callahan,et al. A simple, comprehensive type system for Java bytecode subroutines , 1999, POPL 1999.
[2] Xavier Leroy,et al. Bytecode verification on Java smart cards , 2002 .
[3] Roberto Barbuti,et al. Fixing the Java bytecode verifier by a suitable type domain , 2002, SEKE '02.
[4] Frank Yellin,et al. The Java Virtual Machine Specification , 1996 .
[5] Robert O'Callahn. A Simple, Comprehensive Type System for Java Bytecode Subroutines , 1999, POPL.
[6] Roberto Barbuti,et al. Abstract interpretation of operational semantics for secure information flow , 2002, Inf. Process. Lett..
[7] Masami Hagiya,et al. On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines , 1998, SAS.
[8] Roberto Barbuti,et al. Checking security of Java bytecode by abstract interpretation , 2002, SAC '02.
[9] Eva Rose,et al. Lightweight Bytecode Verification , 2004, Journal of Automated Reasoning.
[10] Zhenyu Qian,et al. Standard fixpoint iteration for Java bytecode verification , 2000, TOPL.
[11] Martín Abadi,et al. A type system for Java bytecode subroutines , 1999, TOPL.