An Operational Semantics of the Java Card Firewall

This publication has 6 references indexed in Scilit:

• Hoare logic for Java in Isabelle/HOL
  Concurrency and Computation: Practice and Experience, 2001
• Formal specification of the JavaCard API in JML: the APDU class
  Computer Networks, 2001
• Correctness of Java Card Method Lookup via Logical Relations
  Published by Springer Nature ,2000
• Specification of the Javacard API in JML
  Published by Springer Nature ,2000
• A formal framework for the Java bytecode language and verifier
  Published by Association for Computing Machinery (ACM) ,1999
• Machine-Checking the Java Specification: Proving Type-Safety
  Published by Springer Nature ,1999