Using Coq to Verify Java CardTM Applet Isolation Properties-Reference-Cited by-同舟云学术

Using Coq to Verify Java CardTM Applet Isolation Properties

Published:2003 Issue: Volume: Page:335-351
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Andronick June,Chetali Boutheina,Ly Olivier

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/10930755_22

Reference21 articles.

1. Andronick, J., Chetali, B., Ly, O.: Formal Verification of the Confidentiality Property in Java CardTM Technology. Submitted at Journal of Logic and Algebraic Programming

2. Lecture Notes in Computer Science;G. Barthe,2001

3. Lecture Notes in Computer Science;G. Barthe,2002

4. Lecture Notes in Computer Science;G. Barthe,2001

5. Betarte, G., Chetali, B., Gimenez, E., Loiseaux, C.: Formavie: Formal Modelling and Verification of the JavaCard 2.1.1 Security Architecture. In: E-SMART 2002, pp. 213–231 (2002)

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

1. Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP;Formal Aspects of Computing;2020-07

2. Compiling Sandboxes: Formally Verified Software Fault Isolation;Programming Languages and Systems;2019

3. Mechanized semantics and refinement of UML-Statecharts;Frontiers of Information Technology & Electronic Engineering;2017-11

4. Application-Binding Protocol in the User Centric Smart Card Ownership Model;Information Security and Privacy;2011

5. Formally Verifying Isolation and Availability in an Idealized Model of Virtualization;Lecture Notes in Computer Science;2011