Operational semantics of the Java Card Virtual Machine
- 1 January 2004
- journal article
- Published by Elsevier in The Journal of Logic and Algebraic Programming
- Vol. 58 (1-2) , 3-25
- https://doi.org/10.1016/j.jlap.2003.07.003
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Development of an Embedded Verifier for Java Card Byte Code Using Formal MethodsPublished by Springer Nature ,2002
- A Formal Correspondence between Offensive and Defensive JavaCard Virtual MachinesPublished by Springer Nature ,2002
- Formalizing the safety of Java, the Java virtual machine, and Java cardACM Computing Surveys, 2001
- An Operational Semantics of the Java Card FirewallPublished by Springer Nature ,2001
- Towards a Full Formal Specification of the JavaCard APIPublished by Springer Nature ,2001
- A Formal Executable Semantics of the JavaCard PlatformPublished by Springer Nature ,2001
- Smart Tools for Java CardsPublished by Springer Nature ,2000
- LETOS - a lightweight execution tool for operational semanticsSoftware: Practice and Experience, 1999
- A formal framework for the Java bytecode language and verifierPublished by Association for Computing Machinery (ACM) ,1999
- The Operational Semantics of a Java Secure ProcessorPublished by Springer Nature ,1999