Tool-Assisted Specification and Verification of the JavaCard Platform-Reference-Cited by-同舟云学术

Tool-Assisted Specification and Verification of the JavaCard Platform

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

Author:

Barthe Gilles,Courtieu Pierre,Dufay Guillaume,de Sousa Simão Melo

Publisher

Springer Berlin Heidelberg

Link

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

Reference43 articles.

1. C. Alvarado and Q.-H. Nguyen. ELAN for equational reasoning in COQ. In J. Despeyroux, editor, Proceedings of LFM’00, 2000. Rapport Technique INRIA.

2. D. Aspinall and A. Compagnoni. Heap-bound assembly language. Manuscript, 2001.

3. F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.

4. A. Banerjee and D. A. Naumann. Secure Information Flow and Pointer Confinement in a Java-like Language. In Proceedings of CSFW’02. IEEE Computer Society Press, 2002.

5. Lect Notes Comput Sci;G. Barthe,2002

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

1. A Formally Verified Compiler Back-end;Journal of Automated Reasoning;2009-11-04

2. Certifying Native Java Card API by Formal Refinement;Smart Card Research and Advanced Applications;2006

3. A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety;Lecture Notes in Computer Science;2005

4. A Tool-Assisted Framework for Certified Bytecode Verification;Fundamental Approaches to Software Engineering;2004

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