Formal Specification and Verification of Java Card’s Application Identifier Class-Reference-Cited by-同舟云学术

Formal Specification and Verification of Java Card’s Application Identifier Class

Published:2001 Issue: Volume: Page:137-150
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

van den Berg Joachim,Jacobs Bart,Poll Erik

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45165-X_11

Reference19 articles.

1. JavaCard API 2.1. http://www.java.sun.com/products/javacard/htmldoc/ .

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

3. J. van den Berg and B. Jacobs. The LOOP compiler for Java and JML. Techn. Rep. CSI-R0019, Comput. Sci. Inst., Univ. of Nijmegen. To appear at TACAS’01., 2000.

4. Lect Notes Comput Sci;J. Berg van den,1999

5. A. Bhorkar. A run-time assertion checker for Java using JML. Techn. Rep. 00-08, Dep. of Comp. Science, Iowa State Univ. ( http://www.cs.iastate.edu/~leavens/JML.html ), 2000.

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

1. Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts;Journal of Automated Reasoning;2007-04-19

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

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

4. Imperative Object-Based Calculi in Co-inductive Type Theories;Logic for Programming, Artificial Intelligence, and Reasoning;2003

5. Using Coq to Verify Java CardTM Applet Isolation Properties;Lecture Notes in Computer Science;2003