Results 221 to 230 of about 80,615 (252)
Some of the next articles are maybe not open access.

Java Card and OCF

2002
In this chapter, we present a sample Java Card applet together with the basic concepts of on-card programming for Java Cards. We explain the associated off-card programming and show how OCF brings off-card and on-card parts together. You can find a brief introduction to the Java Card platform in Section 2.3.2 “Java Card”.
Uwe Hansmann   +4 more
openaire   +1 more source

Transactions in Java Card

Proceedings 15th Annual Computer Security Applications Conference (ACSAC'99), 2003
A smart-card run-time environment must provide proper transaction support for the reliable updating of data, especially on multi-application cards like the Java Card. The transaction mechanism must meet these demands by means of the applications and the system itself, within the minimal resources offered by current smart-card hardware.
openaire   +1 more source

Developing Smart Card-Based Applications Using Java Card

2000
In this paper we describe a methodology for developing smart card-based applications which accounts for both internal and external software production: on-card and client programs. This development methodology is based on the application of distributed object-oriented principles to Java Card. We design a model in which a card application is viewed as a
Jean-Jacques Vandewalle, Eric Vétillard
openaire   +1 more source

Java card technology and security

Information Security Technical Report, 1998
Abstract The idea of a multi-application smartcard operating system is not a new one, but only recently the smartcard industry is catching up with proper software and hardware architectures that contribute in the anticipated evolution. In this article we survey the major proposed architecture, the Java Card API, and comment on its applicability and ...
openaire   +1 more source

Verifying Java Card Programs

2016
This chapter presents the extension of KeY and JavaDL to handle a particular and peculiar dialect of Java, namely Java Card, for programming smart cards. The necessary extensions to the logic and the specification language are discussed, followed by a number of small case studies.
openaire   +1 more source

Java Card et son évolution

2013
Ce chapitre décrit l'évolution de la technologie Java Card et les défis à venir.
Vetillard, Eric, Bouzefrane, Samia
openaire   +1 more source

Authenticated Encryption Schemes on Java Card

2019 22nd Euromicro Conference on Digital System Design (DSD), 2019
Authenticated encryption algorithms will be the main workhorse for secret-key cryptography in the future. The ever increasing use of smart cards requires that authenticated encryption schemes are also available on smart cards. In this paper, five authenticated ciphers from the CAESAR competition are implemented and evaluated on Java card platform.
openaire   +1 more source

The Mobile Java Card Grid Project

2006
This position paper presents an overview of the Mobile Java Card Grid project that consists in setting up a grid like mobile infrastructure based on SIM cards. It combines the Java Card Grid infrastructure developed at the LaBRI, the SIM experience and tools of the Royal Holloway University of London, and some features of the MADNESS project developed ...
Mayes, K.   +3 more
openaire   +1 more source

Home - About - Disclaimer - Privacy