Towards a Full Formal Specification of the JavaCard API

This publication has 8 references indexed in Scilit:

• Transactions in Java Card
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Formalizing the safety of Java, the Java virtual machine, and Java card
  ACM Computing Surveys, 2001
• Database Theory — ICDT 2001
  Published by Springer Nature ,2001
• Formal specification of the JavaCard API in JML: the APDU class
  Computer Networks, 2001
• The loop Compiler for Java and JML
  Published by Springer Nature ,2001
• Specification of the Javacard API in JML
  Published by Springer Nature ,2000
• The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications
  Formal Methods in System Design, 2000
• JML: A Notation for Detailed Design
  Published by Springer Nature ,1999