CARDIS
2000
Springer
13 years 8 months ago
2000
Springer
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...
CARDIS
2000
Springer
13 years 8 months ago
2000
Springer
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...
CARDIS
2000
Springer
13 years 8 months ago
2000
Springer
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...
CARDIS
2000
Springer
13 years 8 months ago
2000
Springer
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...
CARDIS
2000
Springer
13 years 8 months ago
2000
Springer
: 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...
CARDIS
2000
Springer
13 years 8 months ago
2000
Springer
CARDIS
2000
Springer
13 years 8 months ago
2000
Springer
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...
CARDIS
2000
Springer
13 years 8 months ago
2000
Springer
: 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...
CARDIS
2000
Springer
13 years 8 months ago
2000
Springer
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...