Specifying and Verifying a Decimal Representation in Java for Smart Cards*-Reference-Cited by-同舟云学术

Specifying and Verifying a Decimal Representation in Java for Smart Cards*

Published:2002 Issue: Volume: Page:304-318
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Breunesse Cees-Bart,Jacobs Bart,van den Berg Joachim

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45719-4_21

Reference15 articles.

1. Lect. Notes Comp. Sci.;J. Berg van den,2000

2. Lect. Notes Comp. Sci.;J. Berg van den,2001

3. Lect Notes Comput Sci;J. Berg van den,2001

4. N. Cataño Collazo. La clause modifiable de JML: Sémantique, vérification et application. Master’s thesis, INRIA de Sophia-Antipolis, 2001.

5. N. Cataño and Marieke Huisman. Formal specification of Gemplus’s electronic purse case study. In Formal Methods Europe (FME 2002), Lect. Notes Comp. Sci. Springer, 2002. To appear. An earlier version was presented at Verificard’02, first annual meeting of the VerifiCard project, Marseille, January 2002.

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

1. A Refinement Method for Java Programs;Lecture Notes in Computer Science;2007

2. ESC/Java2: Uniting ESC/Java and JML;Construction and Analysis of Safe, Secure, and Interoperable Smart Devices;2005

3. Formal Methods for Smartcard Security;Foundations of Security Analysis and Design III;2005

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

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