Guaranteeing Correctness Properties of a Java Card Applet
Open Access
- 3 January 2005
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 113, 217-233
- https://doi.org/10.1016/j.entcs.2004.01.033
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Verification of control flow based security propertiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- SASI enforcement of security policies: a retrospectivePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A BDD-Based Model Checker for Recursive ProgramsLecture Notes in Computer Science, 2001
- BanderaPublished by Association for Computing Machinery (ACM) ,2000