FACADE: a typed intermediate language dedicated to smart cards
暂无分享,去创建一个
Jean-Louis Lanet | Gilles Grimaud | Jean-Jacques Vandewalle | Jean-Louis Lanet | G. Grimaud | J. Vandewalle
[1] Jean-Louis Lanet,et al. Formal Proof of Smart Card Applets Correctness , 1998, CARDIS.
[2] Lori A. Clarke,et al. Data flow analysis for verifying properties of concurrent programs , 1994, SIGSOFT '94.
[3] Lori A. Clarke,et al. Data flow analysis for verifying correctness properties of concurrent programs , 1995 .
[4] Frank Yellin,et al. The Java Virtual Machine Specification , 1996 .
[5] Troy Downing,et al. Java Virtual Machine , 1997 .
[6] Jean-Louis Lanet,et al. How to Formally Specify the Java Bytecode Semantivs Using the B Method , 1999, ECOOP Workshops.
[7] Eva Rose,et al. Towards Secure Bytecode Verification on a Java Card , 1998 .
[8] Zhong Shao. Typed common intermediate format , 2000, SOEN.
[9] D. B. Davis,et al. Sun Microsystems Inc. , 1993 .