Guaranteeing Correctness Properties of a Java Card Applet
Number of Authors: 1
2003 (English)Report (Refereed)
The paper describes an experiment in which a framework for model checking Java byte code, combined with the application of runtime monitoring techniques through code rewriting, was used to guarantee correctness properties of a Java Card applet.
Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 2003, 1. , 14 p.
SICS Technical Report, ISSN 1100-3154 ; 2003:15
Java Card, Model checking, Runtime monitoring
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-22060OAI: oai:DiVA.org:ri-22060DiVA: diva2:1041602