• Corpus ID: 59658029

Java Card Technology for Smart Cards: Architecture and Programmer''s Guide. The Java Series. Addis

  title={Java Card Technology for Smart Cards: Architecture and Programmer''s Guide. The Java Series. Addis},
  author={Zerong Chen},
  • Z. Chen
  • Published 16 June 2000
  • Computer Science
From the Book: Audience for This Book Java Card™ technology combines a subset of the Java programming language with a runtime environment optimized for smart cards and other memory-constrained devices. This book is intended for a wide technical audience with different needs of understanding Java Card technology. First and foremost, it is written for Java Card applet developers. You will find a smart card tutorial, in-depth discussions on various Java Card features, helpful programming tips… 

Use of Applets for Java Cards Technology For Smart Cards

The JAVA CARD transaction mechanism allows to protect sensitive operations on smart cards against problems due to card tears or power losses, and considers security problems that can be caused by a card tear.

Smart Card Application Development Using the Java Card Technology

A comprehensive overview of Java Card technology, including concepts, architecture and best practices is presented, which provides a secure, vendor-independent, ubiquitous platform for smart cards that enables rapid development of smart card applications.

Worst-case resource-usage analysis of Java Card classic editions application bytecode

A static analysis for Java Card applets at the bytecode level which conservatively approximates properties of interest affecting memory usage, input-output/APDU usage and transaction usage and the Implicit Path Enumeration Technique is used to generate and solve Integer Linear Programming problems representing the worst-case memory-usage and worstcase execution-time.

Formal Development of Safe and Secure Java Card Applets

This thesis adapted a program logic for Java Card to be able to express interesting, meaningful safety and security properties (strong invariants) and proposed design guidelines to support and ease formal verification (design for verification).

Advanced control flow in Java card programming

This paper proposes a concurrent thread model for developing future Java Card programs, which is much closer to conventional Java network programming and presents a code translation algorithm and a corresponding tool that makes it possible to write card programs in the concurrentthread model without losing compatibility with the existing Java Card API.

BSmart: A Tool for the Development of Java Card Applications with the B Method

Two versions of a Java Card software development method (called BSmart) based on the B method are proposed, focusing on the implementation of more robust versions of the BSmart tools and packaging them in a user-friendly environment.

An Advanced Java Card System Architecture for Smart Card Based on Large RAM Memory

This paper proposed and designs architecture of Java Card System (JCS), which has been emulated by ARM32bit, SAMSUNG MicroController for smart card, and moved Java Objects stored heap area in EEPROM into RAM.

Developing Java Card Applications with B