UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Smart tools for Java Card

Attali, I.; Caromel, D.; Courbis, C.; Henrio, L.; Nilsson, H.; (2000) Smart tools for Java Card. Presented at: Fourth Working Conference on Smart Card Research and Advanced Applications, CARDIS 2000, Bristol, UK. Green open access

[thumbnail of 10.5_cardis] PDF
10.5_cardis

Download (459kB)

Abstract

This article describes a java Card progamming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java card, the JCRE (Java Card Runtime Environment), and the Java Card APIs. The resulting environment consists of a set of tightly integrated and somewhat smart tools, such as a Java specific structure editor and a simulator which allows an application to be tested before being downloaded to a card. Furthermore, the simulator analyses the applet in question in order to find out the structure of the accepted commands. The information is then used to automatically adapt the GUI of the simulator.

Type: Conference item (Presentation)
Title: Smart tools for Java Card
Event: Fourth Working Conference on Smart Card Research and Advanced Applications, CARDIS 2000
Location: Bristol, UK
Dates: 20-22 September 2000
Open access status: An open access version is available from UCL Discovery
Publisher version: http://136.199.54.185/~ley/db/conf/cardis/cardis20...
Language: English
Keywords: Java Card, programming environment, formal specification, simulation
URI: https://discovery.ucl.ac.uk/id/eprint/910
Downloads since deposit
420Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item