Sciweavers

CARDIS
2000
Springer
129views Hardware» more  CARDIS 2000»
13 years 11 months ago
Specification of the JavaCard API in JML
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
Erik Poll, Joachim van den Berg, Bart Jacobs
CARDIS
2000
Springer
110views Hardware» more  CARDIS 2000»
13 years 11 months ago
Biometrics, Access Control, Smart Cards: A not so Simple Combination
Although biometrics can be an useful component for access control, the security they procure is often overestimated, as if they were a magic tool whose simple use will automatical...
Gaël Hachez, François Koeune, Jean-Jac...
CARDIS
2000
Springer
91views Hardware» more  CARDIS 2000»
13 years 11 months ago
Making Sense of Smart Card Security Certifications
Manufacturers and producers of smart card systems are all beginning to climb on the certification bandwagon. In this paper, we analyse the current state of smart card certificati...
Jason Reid, Mark Looi
CARDIS
2000
Springer
104views Hardware» more  CARDIS 2000»
13 years 11 months ago
Webcard: a Java Card Web Server
Webcard is a TCP/IP stack and web server written in Java that runs on a Schlumberger Cyberflex Access smartcard. In this report, we describe the architecture and implementation of...
Jim Rees, Peter Honeyman
CARDIS
2000
Springer
150views Hardware» more  CARDIS 2000»
13 years 11 months ago
How to Turn a GSM SIM into a Web Server
: We describe the WebSIM, an approach that integrates GSM SIMs into the Internet. The underlying idea is to implement a Web Server inside a SIM, and to allow for transparent access...
Scott B. Guthery, Roger Kehr, Joachim Posegga
CARDIS
2000
Springer
75views Hardware» more  CARDIS 2000»
13 years 11 months ago
A Performance Comparison of Java Cards for Micropayment Implementation
Jordi Castellà-Roca, Josep Domingo-Ferrer, ...
CARDIS
2000
Springer
173views Hardware» more  CARDIS 2000»
13 years 11 months ago
Smart Tools for Java Cards
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...
Isabelle Attali, Denis Caromel, Carine Courbis, Lu...
CARDIS
2000
Springer
107views Hardware» more  CARDIS 2000»
13 years 11 months ago
JCCap: Capability-based Access Control for Java Card
: This paper describes JCCap, a protection facility for cooperating applications in the context of Java Card. It enables the control of access rights between mutually suspicious ap...
Daniel Hagimont, Jean-Jacques Vandewalle
CARDIS
2000
Springer
124views Hardware» more  CARDIS 2000»
13 years 11 months ago
Elliptic Curve Cryptography on Smart Cards without Coprocessors
Abstract This contribution describes how an elliptic curve cryptosystem can be implemented on very low cost microprocessors with reasonable performance. We focus in this paper on t...
Adam D. Woodbury, Daniel V. Bailey, Christof Paar