Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods
- 9 July 2002
- book chapter
- Published by Springer Nature
- p. 290-309
- https://doi.org/10.1007/3-540-45614-7_17
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Toward a provably-correct implementation of the JVM bytecode verifierPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Bytecode verification on Java smart cardsSoftware: Practice and Experience, 2002
- On-Card Bytecode Verification for Java CardPublished by Springer Nature ,2001
- Verified Bytecode VerifiersPublished by Springer Nature ,2001
- Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOLPublished by Springer Nature ,1999
- A Formal Specification of Javaℳ Virtual Machine Instructions for Objects, Methods and SubroutinesPublished by Springer Nature ,1999
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997
- The B-BookPublished by Cambridge University Press (CUP) ,1996