Formal specification of the JavaCard API in JML: the APDU class-Reference-Cited by-同舟云学术

Formal specification of the JavaCard API in JML: the APDU class

Published:2001-07 Issue:4 Volume:36 Page:407-421
ISSN:1389-1286
Container-title:Computer Networks
language:en
Short-container-title:Computer Networks

Author:

Poll Erik,van den Berg Joachim,Jacobs Bart

Publisher

Elsevier BV

Subject

Computer Networks and Communications

Reference18 articles.

1. Ten years of Hoare's logic: a survey – Part I;Apt;ACM Transactions on Programming Languages and Systems,1981

2. J. van den Berg, M. Huisman, B. Jacobs, E. Poll, A type-theoretic memory model for verification of sequential Java programs, in: D. Bert, C. Choppy (Eds), Recent Trends in Algebraic Development Techniques (WADT'99), Lecture Notes in Computer Science, vol. 1827, Springer, Berlin, 2000

3. J. van den Berg, B. Jacobs, E. Poll, Formal specification and verification of JavaCard's application identifier class, in: I. Attali, T. Jensen (Eds.), JavaCard Workshop (JCW'2000), INRIA, Sophia Antipolis, 2000

4. Java Card Technology for Smart Cards: Architecture and Programmer's Guide;Chen,2000

5. Extended static checker ESC/Java, Compaq System Reserch Center. http://www.research.digital.com/SRC/esc/Esc.html

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method;Construction and Analysis of Safe, Secure, and Interoperable Smart Devices;2006

2. Model variables: cleanly supporting abstraction in design by contract;Software: Practice and Experience;2005

3. An overview of JML tools and applications;International Journal on Software Tools for Technology Transfer;2004-12-14

4. Source code verification of a secure payment applet;The Journal of Logic and Algebraic Programming;2004-01

5. The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML;The Journal of Logic and Algebraic Programming;2004-01