Open AccessGuaranteeing Correctness Properties of a Java Card Applet
Author(s) -
LarsÅke Fredlund
Publication year - 2005
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2004.01.033
Subject(s) - java applet , computer science , java card , correctness , programming language , java , byte , operating system , rewriting , code (set theory) , java modeling language , java annotation , set (abstract data type)
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom